Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2003-08-19 09:19:37 +0000
committerDani Megert2003-08-19 09:19:37 +0000
commit42995157afb0ecb2db4a5e077f94ee42c53a14b6 (patch)
tree1f5317af173220de9960c81bb6647de4599f433f /org.eclipse.ui.workbench.texteditor/plugin.xml
parentaf6897dc9e6a9d0b7ac86ebc57817d9486ac5cff (diff)
downloadeclipse.platform.text-42995157afb0ecb2db4a5e077f94ee42c53a14b6.tar.gz
eclipse.platform.text-42995157afb0ecb2db4a5e077f94ee42c53a14b6.tar.xz
eclipse.platform.text-42995157afb0ecb2db4a5e077f94ee42c53a14b6.zip
Applied patch for Tom:
- moved quick diff reference provider extension point to workbench.texteditor plugin - added layer between StatusTextEditor and rich editors as JavaEditor and TextEditor, comprising rulers, quickdiff etc.
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/plugin.xml')
-rw-r--r--org.eclipse.ui.workbench.texteditor/plugin.xml116
1 files changed, 114 insertions, 2 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.xml b/org.eclipse.ui.workbench.texteditor/plugin.xml
index caaf72890..8ead691d9 100644
--- a/org.eclipse.ui.workbench.texteditor/plugin.xml
+++ b/org.eclipse.ui.workbench.texteditor/plugin.xml
@@ -9,7 +9,7 @@
<runtime>
<library name="texteditor.jar">
<export name="*"/>
- <packages prefixes="org.eclipse.ui.texteditor,org.eclipse.ui.internal.texteditor"/>
+ <packages prefixes="org.eclipse.ui.texteditor,org.eclipse.ui.internal.texteditor,org.eclipse.ui.texteditor.quickdiff,org.eclipse.ui.internal.texteditor.quickdiff"/>
</library>
</runtime>
<requires>
@@ -22,6 +22,9 @@
<extension-point id="markerAnnotationSpecification" name="%markerAnnotationSpecification.label" schema="schema/markerAnnotationSpecification.exsd"/>
+<!-- quick diff reference provider extension point -->
+ <extension-point id="quickDiffReferenceProvider" name="%referenceProvider" schema="schema/quickDiffReferenceProvider.exsd"/>
+
<!-- commands and their bindings -->
<extension
@@ -239,7 +242,7 @@
definitionId="org.eclipse.ui.navigate.next"
icon="icons/full/etool16/next_nav.gif"
disabledIcon="icons/full/dtool16/next_nav.gif"
- hoverIcon="icons/full/ctool16/next_nav.gif"
+ hoverIcon="icons/full/ctool16/next_nav.gif"
class="org.eclipse.ui.internal.texteditor.NextPulldownActionDelegate"/>
</actionSet>
</extension>
@@ -343,5 +346,114 @@
isGoToPreviousNavigationTargetKey="isBookmarkGoToPreviousNavigationTarget"
isGoToPreviousNavigationTarget="false">
</specification>
+
+ <!-- change information annotations -->
+ <specification
+ annotationType="org.eclipse.ui.workbench.texteditor.quickdiffChange"
+ label="%changes.label"
+ markerType="org.eclipse.quickdiff.changeindication"
+ textPreferenceKey="changeIndication"
+ textPreferenceValue="false"
+ overviewRulerPreferenceKey="changeIndicationInOverviewRuler"
+ overviewRulerPreferenceValue="false"
+ colorPreferenceKey="changeIndicationColor"
+ colorPreferenceValue="255,230,230"
+ presentationLayer="2"
+ contributesToHeader="false"
+ showInNextPrevDropdownToolbarActionKey="showChangeInNextPrevDropdownToolbarAction"
+ showInNextPrevDropdownToolbarAction="false"
+ isGoToNextNavigationTargetKey="isChangeGoToNextNavigationTarget"
+ isGoToNextNavigationTarget="false"
+ isGoToPreviousNavigationTargetKey="isChangeGoToPreviousNavigationTarget"
+ isGoToPreviousNavigationTarget="false">
+ </specification>
+ <specification
+ annotationType="org.eclipse.ui.workbench.texteditor.quickdiffAddition"
+ label="%additions.label"
+ markerType="org.eclipse.quickdiff.additionindication"
+ textPreferenceKey="additionIndication"
+ textPreferenceValue="false"
+ overviewRulerPreferenceKey="additionIndicationInOverviewRuler"
+ overviewRulerPreferenceValue="false"
+ colorPreferenceKey="additionIndicationColor"
+ colorPreferenceValue="230,230,255"
+ presentationLayer="2"
+ contributesToHeader="false"
+ showInNextPrevDropdownToolbarActionKey="showAdditionInNextPrevDropdownToolbarAction"
+ showInNextPrevDropdownToolbarAction="false"
+ isGoToNextNavigationTargetKey="isAdditionGoToNextNavigationTarget"
+ isGoToNextNavigationTarget="false"
+ isGoToPreviousNavigationTargetKey="isAdditionGoToPreviousNavigationTarget"
+ isGoToPreviousNavigationTarget="false">
+ </specification>
+ <specification
+ annotationType="org.eclipse.ui.workbench.texteditor.quickdiffDeletion"
+ label="%deletions.label"
+ markerType="org.eclipse.quickdiff.deletionindication"
+ textPreferenceKey="deletionIndication"
+ textPreferenceValue="false"
+ overviewRulerPreferenceKey="deletionIndicationInOverviewRuler"
+ overviewRulerPreferenceValue="false"
+ colorPreferenceKey="deletionIndicationColor"
+ colorPreferenceValue="0,0,0"
+ presentationLayer="2"
+ contributesToHeader="false"
+ showInNextPrevDropdownToolbarActionKey="showDeletionInNextPrevDropdownToolbarAction"
+ showInNextPrevDropdownToolbarAction="false"
+ isGoToNextNavigationTargetKey="isDeletionGoToNextNavigationTarget"
+ isGoToNextNavigationTarget="false"
+ isGoToPreviousNavigationTargetKey="isDeletionGoToPreviousNavigationTarget"
+ isGoToPreviousNavigationTarget="false">
+ </specification>
+ </extension>
+
+<!-- add the quick diff context menu -->
+ <extension
+ point="org.eclipse.ui.popupMenus">
+<!-- default -->
+ <viewerContribution
+ targetID="#RulerContext"
+ id="org.eclipse.ui.quickdiff.DefaultEditorContribution">
+ <action
+ label="%quickdiff.toggle.enable"
+ style="push"
+ helpContextId="quickdiff.toggle"
+ class="org.eclipse.ui.texteditor.quickdiff.QuickDiffToggleAction"
+ menubarPath="quickdiff"
+ id="quickdiff.toggle">
+ </action>
+ </viewerContribution>
</extension>
+<!-- add the toggle command so we can provide a shortcut -->
+ <extension
+ point="org.eclipse.ui.commands">
+ <command
+ name="%ActionDefinition.quickDiff.name"
+ description="%ActionDefinition.quickDiff.description"
+ category="org.eclipse.ui.category.edit"
+ id="org.eclipse.quickdiff.toggle">
+ </command>
+ <keyBinding
+ string="Ctrl+Shift+Q"
+ scope="org.eclipse.ui.textEditorScope"
+ command="org.eclipse.quickdiff.toggle"
+ configuration="org.eclipse.ui.defaultAcceleratorConfiguration">
+ </keyBinding>
+ </extension>
+<!-- add the toggle action a second time in order to make it available as shortcut to keybinings -->
+ <extension
+ point="org.eclipse.ui.editorActions">
+<!-- text editor -->
+ <editorContribution
+ targetID="org.eclipse.ui.DefaultTextEditor"
+ id="org.eclipse.quickdiff.editoractions.texteditor">
+ <action
+ definitionId="org.eclipse.quickdiff.toggle"
+ label="%quickdiff.toggle.enable"
+ class="org.eclipse.ui.texteditor.quickdiff.QuickDiffToggleAction"
+ id="org.eclipse.ui.texteditor.quickdiff.QuickDiffToggleAction">
+ </action>
+ </editorContribution>
+ </extension>
+
</plugin>

Back to the top