Chromium Code Reviews| Index: editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.xml |
| =================================================================== |
| --- editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.xml (revision 6844) |
| +++ editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.xml (working copy) |
| @@ -430,6 +430,15 @@ |
| sequence="CTRL+Z" |
| platform="win32"/ --> |
| </extension> |
| + <extension |
| + point="org.eclipse.ltk.core.refactoring.deleteParticipants"> |
| + <deleteParticipant |
|
messick
2012/04/23 18:36:42
What happens when the file that defines the entry
keertip
2012/04/23 18:48:37
The html file would still be opened in a browser,
|
| + class="com.google.dart.tools.debug.ui.launch.DeleteLaunchConfigsParticipant" |
| + id="com.google.dart.tools.debug.ui.deleteParticipant.launch" |
| + name="Delete Launch Configurations"> |
| + <enablement></enablement> |
| + </deleteParticipant> |
| + </extension> |
| <!--extension |
| point="org.eclipse.ui.actionSets"> |
| <actionSet |