Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2003-08-07 14:02:42 +0000
committerDani Megert2003-08-07 14:02:42 +0000
commitfa217728a2d7411f11327a041f4b508bc69dbb8e (patch)
tree7c7a6d758d71f44abd16cd7af403a17f1a3224eb /org.eclipse.ui.workbench.texteditor/plugin.xml
parent50d0b2e51ef02e0f7bc61645472533893abd1880 (diff)
downloadeclipse.platform.text-fa217728a2d7411f11327a041f4b508bc69dbb8e.tar.gz
eclipse.platform.text-fa217728a2d7411f11327a041f4b508bc69dbb8e.tar.xz
eclipse.platform.text-fa217728a2d7411f11327a041f4b508bc69dbb8e.zip
Replacing Java editor specific Go to next/previous error with general Go to Next/Previous Annotation
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/plugin.xml')
-rw-r--r--org.eclipse.ui.workbench.texteditor/plugin.xml25
1 files changed, 21 insertions, 4 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml
index 1e9223af6..977e30778 100644
--- a/org.eclipse.ui.workbench.texteditor/plugin.xml
+++ b/org.eclipse.ui.workbench.texteditor/plugin.xml
@@ -165,11 +165,11 @@
point="org.eclipse.ui.actionSets">
<actionSet
label="%textEditorNavigationActionSet.label"
- visible="true"
+ visible="false"
id="org.eclipse.ui.edit.text.actionSet.navigation">
<action
toolbarPath="org.eclipse.ui.workbench.navigate/history.group"
- id="gotoLastEditPosition"
+ id="org.eclipse.ui.edit.text.gotoLastEditPosition"
hoverIcon="icons/full/ctool16/last_edit_pos.gif"
class="org.eclipse.ui.internal.texteditor.GotoLastEditPositionAction"
definitionId="org.eclipse.ui.edit.text.gotoLastEditPosition"
@@ -178,8 +178,25 @@
label="%goToLastEditPosition.label"
menubarPath="navigate/"
helpContextId="goto_last_edit_position_action_context"
- tooltip="%goToLastEditPosition.tooltip">
- </action>
+ tooltip="%goToLastEditPosition.tooltip"/>
+ <action id="org.eclipse.ui.edit.text.gotoPreviousAnnotation"
+ toolbarPath="org.eclipse.ui.workbench.navigate/history.group"
+ label="%goToPreviousAnnotation.label"
+ tooltip="%goToPreviousAnnotation.tooltip"
+ retarget="true"
+ icon="icons/full/etool16/prev_nav.gif"
+ disabledIcon="icons/full/dtool16/prev_nav.gif"
+ hoverIcon="icons/full/ctool16/prev_nav.gif"
+ class="org.eclipse.ui.internal.texteditor.NextPreviousPulldownActionDelegate"/>
+ <action id="org.eclipse.ui.edit.text.gotoNextAnnotation"
+ toolbarPath="org.eclipse.ui.workbench.navigate/history.group"
+ label="%goToNextAnnotation.label"
+ tooltip="%goToNextAnnotation.tooltip"
+ retarget="true"
+ icon="icons/full/etool16/next_nav.gif"
+ disabledIcon="icons/full/dtool16/next_nav.gif"
+ hoverIcon="icons/full/ctool16/next_nav.gif"
+ class="org.eclipse.ui.internal.texteditor.NextPreviousPulldownActionDelegate"/>
</actionSet>
</extension>
<!-- marker annotation types -->

Back to the top