diff options
| author | Dani Megert | 2004-01-09 09:39:06 +0000 |
|---|---|---|
| committer | Dani Megert | 2004-01-09 09:39:06 +0000 |
| commit | b4c9b1ec11cda9f9874a23a3ffb45634a3c3767f (patch) | |
| tree | 70b6a4518183b7763ea5240625e6c09be3bd083d /org.eclipse.ui.editors | |
| parent | d66e35625524fe65fff2cc8266c3152e1bf448b7 (diff) | |
| download | eclipse.platform.text-b4c9b1ec11cda9f9874a23a3ffb45634a3c3767f.tar.gz eclipse.platform.text-b4c9b1ec11cda9f9874a23a3ffb45634a3c3767f.tar.xz eclipse.platform.text-b4c9b1ec11cda9f9874a23a3ffb45634a3c3767f.zip | |
Fixed bug 49715: Missing label for textEditorNavigationActionSet
Diffstat (limited to 'org.eclipse.ui.editors')
| -rw-r--r-- | org.eclipse.ui.editors/plugin.properties | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties index 0b33d77d2eb..2f416a7168a 100644 --- a/org.eclipse.ui.editors/plugin.properties +++ b/org.eclipse.ui.editors/plugin.properties @@ -70,3 +70,6 @@ deletions.label= Diff Deletions goToLastEditPosition.label= Go to Last Edit Location goToLastEditPosition.description= Go to last edit location goToLastEditPosition.tooltip= Go to Last Edit Location + +textEditorNavigationActionSet.label= Editor Navigation +textEditorPresentationActionSet.label= Editor Presentation |