| Stephan Herrmann | 0166441 | 2010-04-01 20:28:43 +0000 | [diff] [blame] | 1 | <?xml version="1.0" encoding="UTF-8"?> |
| 2 | <?eclipse version="3.0"?> |
| 3 | <plugin> |
| 4 | |
| 5 | <extension |
| 6 | point="org.eclipse.ui.views"> |
| 7 | <view |
| 8 | class="org.eclipse.objectteams.otdt.debug.ui.views.TeamView" |
| 9 | icon="icons/tm.gif" |
| 10 | name="Team Monitor" |
| 11 | category="org.eclipse.objectteams.otdt.ui" |
| 12 | id="org.eclipse.objectteams.otdt.debug.ui.views.team"> |
| 13 | <description> |
| 14 | Debug view showing all team instances. |
| 15 | Supports drill in and interactive (de)activation of teams. |
| 16 | </description> |
| 17 | </view> |
| 18 | </extension> |
| 19 | |
| 20 | |
| 21 | <extension |
| 22 | point="org.eclipse.ui.perspectiveExtensions"> |
| 23 | <perspectiveExtension |
| 24 | targetID="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| 25 | <actionSet |
| 26 | id="org.eclipse.debug.ui.breakpointActionSet"> |
| 27 | </actionSet> |
| 28 | <actionSet |
| 29 | id="org.eclipse.jdt.debug.ui.JDTDebugActionSet"> |
| 30 | </actionSet> |
| 31 | <viewShortcut |
| 32 | id="org.eclipse.objectteams.otdt.debug.ui.views.team"> |
| 33 | </viewShortcut> |
| 34 | </perspectiveExtension> |
| 35 | <perspectiveExtension targetID="org.eclipse.debug.ui.DebugPerspective"> |
| 36 | <viewShortcut id="org.eclipse.objectteams.otdt.debug.ui.views.team"/> |
| 37 | </perspectiveExtension> |
| 38 | </extension> |
| 39 | |
| 40 | |
| 41 | <extension |
| 42 | point="org.eclipse.ui.preferencePages"> |
| 43 | |
| 44 | <!-- General Object Teams configuration options --> |
| 45 | <page |
| 46 | id="org.eclipse.objectteams.otdt.debug.ui.preferences.PreferencePage" |
| 47 | name="Debug" |
| 48 | class="org.eclipse.objectteams.otdt.debug.ui.internal.preferences.OTDebugPreferencePage" |
| 49 | category="org.eclipse.objectteams.otdt.ui.preferences.GeneralPreferencePage"> |
| 50 | </page> |
| 51 | |
| 52 | </extension> |
| 53 | <extension |
| 54 | point="org.eclipse.core.runtime.preferences"> |
| 55 | <initializer |
| 56 | class="org.eclipse.objectteams.otdt.debug.ui.internal.preferences.OTDebugPreferences"> |
| 57 | </initializer> |
| 58 | </extension> |
| 59 | |
| 60 | </plugin> |