Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2012-11-28 13:11:25 +0000
committerDani Megert2012-11-28 13:11:25 +0000
commiteb77102a0c2e789a0dee60863b435fa959682716 (patch)
treee51a3fc7deeca62957e19e4f0f4344a1a9ad5508
parentf31bfdf9e33fedfc935decb02267c6ada70c5259 (diff)
downloadeclipse.platform.text-eb77102a0c2e789a0dee60863b435fa959682716.tar.gz
eclipse.platform.text-eb77102a0c2e789a0dee60863b435fa959682716.tar.xz
eclipse.platform.text-eb77102a0c2e789a0dee60863b435fa959682716.zip
-rw-r--r--org.eclipse.ui.editors/plugin.properties4
-rw-r--r--org.eclipse.ui.editors/plugin.xml8
2 files changed, 11 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties
index 23d7f1e32..64f17dd2c 100644
--- a/org.eclipse.ui.editors/plugin.properties
+++ b/org.eclipse.ui.editors/plugin.properties
@@ -113,7 +113,9 @@ command.showRulerAnnotationInformation.description = Displays annotation informa
conversionActionSet.label= Convert Line Delimiters
conversionSubMenu.label= Con&vert Line Delimiters To
-preferenceKeywords.general= text editor tabs spaces width undo history ruler print margin overview hyperlink overwrite colors line numbers range indicator typing appearance derived navigation smart caret positioning invisible whitespace characters drag drop dnd hovers sticky enrich rich
+preferenceKeywords.general= text editor tabs spaces undo history ruler print margin overview hyperlink overwrite colors range indicator typing appearance derived navigation smart caret positioning invisible whitespace characters drag drop dnd hovers sticky enrich rich
+preferenceKeywords.tabWidth= tab width
+preferenceKeywords.lineNumber= line numbers
preferenceKeywords.annotations= annotations vertical ruler overview colors text editor
preferenceKeywords.quickdiff= quick diff compare reference colors text editor changes
preferenceKeywords.accessibility= accessibility caret cursor quick diff text editor ruler
diff --git a/org.eclipse.ui.editors/plugin.xml b/org.eclipse.ui.editors/plugin.xml
index 50aea81d5..89f64b9dd 100644
--- a/org.eclipse.ui.editors/plugin.xml
+++ b/org.eclipse.ui.editors/plugin.xml
@@ -221,6 +221,8 @@
class="org.eclipse.ui.internal.editors.text.TextEditorDefaultsPreferencePage"
id="org.eclipse.ui.preferencePages.GeneralTextEditor">
<keywordReference id="org.eclipse.ui.editors.general"/>
+ <keywordReference id="org.eclipse.ui.editors.tabWidth"/>
+ <keywordReference id="org.eclipse.ui.editors.lineNumber"/>
</page>
<page
name="%PreferencePages.Annotations"
@@ -272,6 +274,12 @@
label="%preferenceKeywords.general"
id="org.eclipse.ui.editors.general"/>
<keyword
+ label="%preferenceKeywords.tabWidth"
+ id="org.eclipse.ui.editors.tabWidth"/>
+ <keyword
+ label="%preferenceKeywords.lineNumber"
+ id="org.eclipse.ui.editors.lineNumber"/>
+ <keyword
label="%preferenceKeywords.annotations"
id="org.eclipse.ui.editors.annotations"/>
<keyword

Back to the top