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 |