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() { |