diff options
| author | Dani Megert | 2012-11-28 13:11:25 +0000 |
|---|---|---|
| committer | Dani Megert | 2012-11-28 13:11:25 +0000 |
| commit | eb77102a0c2e789a0dee60863b435fa959682716 (patch) | |
| tree | e51a3fc7deeca62957e19e4f0f4344a1a9ad5508 | |
| parent | f31bfdf9e33fedfc935decb02267c6ada70c5259 (diff) | |
| download | eclipse.platform.text-eb77102a0c2e789a0dee60863b435fa959682716.tar.gz eclipse.platform.text-eb77102a0c2e789a0dee60863b435fa959682716.tar.xz eclipse.platform.text-eb77102a0c2e789a0dee60863b435fa959682716.zip | |
Added some more preference page keywordsv20121128-131125I20121210-0800I20121209-2000I20121204-2230I20121204-1600I20121204-1000I20121204-0915I20121204-0800
| -rw-r--r-- | org.eclipse.ui.editors/plugin.properties | 4 | ||||
| -rw-r--r-- | org.eclipse.ui.editors/plugin.xml | 8 |
2 files changed, 11 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties index 23d7f1e32e1..64f17dd2cbe 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 50aea81d53d..89f64b9dd0c 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 |