diff options
Diffstat (limited to 'org.eclipse.ui.editors')
| -rw-r--r-- | org.eclipse.ui.editors/plugin.properties | 1 | ||||
| -rw-r--r-- | org.eclipse.ui.editors/plugin.xml | 4 |
2 files changed, 5 insertions, 0 deletions
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties index 15a15536b1d..42b9b6ea423 100644 --- a/org.eclipse.ui.editors/plugin.properties +++ b/org.eclipse.ui.editors/plugin.properties @@ -120,6 +120,7 @@ preferenceKeywords.general= pop-up text editor tabs spaces undo history ruler ov preferenceKeywords.tabWidth= tab width preferenceKeywords.lineNumber= line numbers preferenceKeywords.printMargin= print margin +preferenceKeywords.annotationCodeMining= annotation code mining marker error warning info 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 cc4828d692b..139d36ff533 100644 --- a/org.eclipse.ui.editors/plugin.xml +++ b/org.eclipse.ui.editors/plugin.xml @@ -227,6 +227,7 @@ <keywordReference id="org.eclipse.ui.editors.tabWidth"/> <keywordReference id="org.eclipse.ui.editors.lineNumber"/> <keywordReference id="org.eclipse.ui.editors.printMargin"/> + <keywordReference id="org.eclipse.ui.editors.annotationCodeMining"/> </page> <page name="%PreferencePages.Annotations" @@ -287,6 +288,9 @@ label="%preferenceKeywords.printMargin" id="org.eclipse.ui.editors.printMargin"/> <keyword + label="%preferenceKeywords.annotationCodeMining" + id="org.eclipse.ui.editors.annotationCodeMining"/> + <keyword label="%preferenceKeywords.annotations" id="org.eclipse.ui.editors.annotations"/> <keyword |