Index: dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/DartKeyBindingPersistence.java |
=================================================================== |
--- dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/DartKeyBindingPersistence.java (revision 32643) |
+++ dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/DartKeyBindingPersistence.java (working copy) |
@@ -263,7 +263,9 @@ |
List<Map<String, String>> newBindings; |
newBindings = readKeyBindingsFromStream(new InputSource(reader)); |
for (Map<String, String> map : newBindings) { |
- updateKeyBinding(map); |
+ if (!map.get(XML_ATTRIBUTE_COMMANDID).equals("Generate JavaScript")) { |
+ updateKeyBinding(map); |
+ } |
} |
try { |