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