diff options
author | Dani Megert | 2003-08-19 09:19:37 +0000 |
---|---|---|
committer | Dani Megert | 2003-08-19 09:19:37 +0000 |
commit | 42995157afb0ecb2db4a5e077f94ee42c53a14b6 (patch) | |
tree | 1f5317af173220de9960c81bb6647de4599f433f /org.eclipse.ui.workbench.texteditor/plugin.properties | |
parent | af6897dc9e6a9d0b7ac86ebc57817d9486ac5cff (diff) | |
download | eclipse.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.properties')
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.properties | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/plugin.properties b/org.eclipse.ui.workbench.texteditor/plugin.properties index 38c3cf7159a..731b67081de 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.properties +++ b/org.eclipse.ui.workbench.texteditor/plugin.properties @@ -47,8 +47,19 @@ warnings.label= Warnings infos.label= Infos tasks.label= Tasks bookmarks.label= Bookmarks +changes.label= Diff Changes +additions.label= Diff Additions +deletions.label= Diff Deletions goToPreviousAnnotation.label= Go to Previous Annotation goToPreviousAnnotation.tooltip= Go to Previous Annotation goToNextAnnotation.label= Go to Next Annotation goToNextAnnotation.tooltip= Go to Next Annotation + + +referenceProvider= Reference Provider + +quickdiff.toggle.enable= Enable &QuickDiff +quickdiff.menu.label= Set QuickDiff Re&ference +ActionDefinition.quickDiff.name= Quick Diff Toggle +ActionDefinition.quickDiff.description= Toggles display of quick diff information on the line number ruler
\ No newline at end of file |