Index: editor/tools/plugins/com.google.dart.tools.deploy/plugin.xml |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.deploy/plugin.xml (revision 6529) |
+++ editor/tools/plugins/com.google.dart.tools.deploy/plugin.xml (working copy) |
@@ -55,11 +55,16 @@ |
sequence="M1+3"> |
</key> |
<key |
- commandId="com.google.dart.tools.debug.ui.run" |
+ commandId="com.google.dart.tools.debug.ui.run.last" |
schemeId="com.google.dart.tools.dartAcceleratorConfiguration" |
sequence="M1+R"> |
</key> |
<key |
+ commandId="com.google.dart.tools.debug.ui.run.selection" |
+ schemeId="com.google.dart.tools.dartAcceleratorConfiguration" |
+ sequence="M1+M2+R"> |
+ </key> |
+ <key |
commandId="com.google.dart.tools.ui.generateJavascript" |
schemeId="com.google.dart.tools.dartAcceleratorConfiguration" |
sequence="M1+M2+G"> |