Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(78)

Unified Diff: editor/tools/plugins/com.google.dart.tools.debug.ui/plugin.xml

Issue 10190008: delete launch configs when project is deleted (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 8 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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

Powered by Google App Engine
This is Rietveld 408576698