Index: editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.xml |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.xml (revision 6529) |
+++ editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.xml (working copy) |
@@ -305,6 +305,13 @@ |
point="org.eclipse.ui.commands"> |
<command |
categoryId="org.eclipse.ui.category.window" |
+ defaultHandler="com.google.dart.tools.debug.ui.launch.DartRunLastHandler" |
+ description="%runCommandName" |
+ id="com.google.dart.tools.debug.ui.run.last" |
+ name="%runCommandName"> |
+ </command> |
+ <command |
+ categoryId="org.eclipse.ui.category.window" |
defaultHandler="com.google.dart.tools.debug.ui.launch.DartRunHandler" |
description="%runCommandName" |
id="com.google.dart.tools.debug.ui.run" |