| Index: dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java
|
| diff --git a/dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java b/dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java
|
| index 8746c1e7a79d7c6510a169929c8ce801f6a742d7..2a1b9fc7e26ad009ca4a72aa4661b3e35a415a84 100644
|
| --- a/dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java
|
| +++ b/dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java
|
| @@ -290,7 +290,11 @@ public class DartToolsPlugin extends AbstractUIPlugin {
|
| return null;
|
| }
|
|
|
| - return bundle.getHeaders().get(Constants.BUNDLE_VERSION);
|
| + String version = bundle.getHeaders().get(Constants.BUNDLE_VERSION);
|
| +
|
| + version = version.replace(".r", "_r").replace(".qual", "_qual");
|
| +
|
| + return version;
|
| }
|
|
|
| public static IWorkspace getWorkspace() {
|
|
|