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