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