| <?xml version="1.0" encoding="UTF-8"?> | |
| <?eclipse version="3.0"?> | |
| <plugin> | |
| <extension | |
| point="org.eclipse.ui.views"> | |
| <view | |
| class="org.eclipse.objectteams.otdt.debug.ui.views.TeamView" | |
| icon="icons/tm.gif" | |
| name="Team Monitor" | |
| category="org.eclipse.objectteams.otdt.ui" | |
| id="org.eclipse.objectteams.otdt.debug.ui.views.team"> | |
| <description> | |
| Debug view showing all team instances. | |
| Supports drill in and interactive (de)activation of teams. | |
| </description> | |
| </view> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.perspectiveExtensions"> | |
| <perspectiveExtension | |
| targetID="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> | |
| <actionSet | |
| id="org.eclipse.debug.ui.breakpointActionSet"> | |
| </actionSet> | |
| <actionSet | |
| id="org.eclipse.jdt.debug.ui.JDTDebugActionSet"> | |
| </actionSet> | |
| <viewShortcut | |
| id="org.eclipse.objectteams.otdt.debug.ui.views.team"> | |
| </viewShortcut> | |
| </perspectiveExtension> | |
| <perspectiveExtension targetID="org.eclipse.debug.ui.DebugPerspective"> | |
| <viewShortcut id="org.eclipse.objectteams.otdt.debug.ui.views.team"/> | |
| </perspectiveExtension> | |
| </extension> | |
| <extension | |
| point="org.eclipse.ui.preferencePages"> | |
| <!-- General Object Teams configuration options --> | |
| <page | |
| id="org.eclipse.objectteams.otdt.debug.ui.preferences.PreferencePage" | |
| name="Debug" | |
| class="org.eclipse.objectteams.otdt.debug.ui.internal.preferences.OTDebugPreferencePage" | |
| category="org.eclipse.objectteams.otdt.ui.preferences.GeneralPreferencePage"> | |
| </page> | |
| </extension> | |
| <extension | |
| point="org.eclipse.core.runtime.preferences"> | |
| <initializer | |
| class="org.eclipse.objectteams.otdt.debug.ui.internal.preferences.OTDebugPreferences"> | |
| </initializer> | |
| </extension> | |
| </plugin> |