Added some more preference page keywords
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties
index 23d7f1e..64f17dd 100644
--- a/org.eclipse.ui.editors/plugin.properties
+++ b/org.eclipse.ui.editors/plugin.properties
@@ -113,7 +113,9 @@
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 50aea81..89f64b9 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
