diff options
| author | Dani Megert | 2004-01-09 09:42:14 +0000 |
|---|---|---|
| committer | Dani Megert | 2004-01-09 09:42:14 +0000 |
| commit | 87775250c29f137ad84767f60cd9b2ed7295fad2 (patch) | |
| tree | 82c07b31c64cf7d9d30f1a666d09f23ccfe2d751 | |
| parent | b4c9b1ec11cda9f9874a23a3ffb45634a3c3767f (diff) | |
| download | eclipse.platform.text-87775250c29f137ad84767f60cd9b2ed7295fad2.tar.gz eclipse.platform.text-87775250c29f137ad84767f60cd9b2ed7295fad2.tar.xz eclipse.platform.text-87775250c29f137ad84767f60cd9b2ed7295fad2.zip | |
Fixed bug 49715: Missing label for textEditorNavigationActionSet
| -rw-r--r-- | org.eclipse.ui.editors/plugin.properties | 2 | ||||
| -rw-r--r-- | org.eclipse.ui.workbench.texteditor/plugin.properties | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties index 2f416a7168a..ac8ac0c84cd 100644 --- a/org.eclipse.ui.editors/plugin.properties +++ b/org.eclipse.ui.editors/plugin.properties @@ -72,4 +72,4 @@ goToLastEditPosition.description= Go to last edit location goToLastEditPosition.tooltip= Go to Last Edit Location textEditorNavigationActionSet.label= Editor Navigation -textEditorPresentationActionSet.label= Editor Presentation + diff --git a/org.eclipse.ui.workbench.texteditor/plugin.properties b/org.eclipse.ui.workbench.texteditor/plugin.properties index 2228736e25d..6622994e4dc 100644 --- a/org.eclipse.ui.workbench.texteditor/plugin.properties +++ b/org.eclipse.ui.workbench.texteditor/plugin.properties @@ -15,6 +15,8 @@ category.textEditor.name= Text Editing ExtPoint.referenceProvider= Reference Provider +textEditorPresentationActionSet.label= Editor Presentation + onlyShowSelectedElement.label= Show Selected Element Only onlyShowSelectedElement.tooltip= Show Selected Element Only onlyShowSelectedElement.description= Show Selected Element Only |