[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [platform-ui-dev] Roles and activities
|
Just for grins... Here's a patch for org.eclipse.ui that removes the things
that the debugger now provides for itself.
- Jared
On Thursday 30 October 2003 10:54 am, Jared Burns wrote:
> And since I'd like to release the debug support for roles and activities...
> Can someone remove the "Debugging" activity that's currently provided by
> the org.eclipse.ui plug-in? The org.eclipse.debug.ui plug-in now
> contributes that activity.
Index: plugin.xml
===================================================================
retrieving revision 1.197
diff -u -r1.197 plugin.xml
--- plugin.xml 28 Oct 2003 19:35:53 -0000 1.197
+++ plugin.xml 30 Oct 2003 18:55:31 -0000
@@ -83,11 +83,6 @@
id="org.eclipse.jdt.ui.javaEditorScope">
</activity>
<activity
- name="Debugging"
- description=""
- id="org.eclipse.debugging">
- </activity>
- <activity
name="External Tools"
description=""
id="org.eclipse.externalTools">
@@ -110,11 +105,6 @@
</activity>
<patternBinding
inclusive="true"
- activityId="org.eclipse.debugging"
- pattern="org.eclipse.debug.*">
- </patternBinding>
- <patternBinding
- inclusive="true"
activityId="org.eclipse.externalTools"
pattern="org.eclipse.ant.*">
</patternBinding>
@@ -164,10 +154,6 @@
<activityBinding
activityId="org.eclipse.externalTools"
roleId="org.eclipse.roles.externalToolsRole">
- </activityBinding>
- <activityBinding
- activityId="org.eclipse.debugging"
- roleId="org.eclipse.roles.javaRole">
</activityBinding>
<activityBinding
activityId="org.eclipse.javaDevelopment"
