Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--org.eclipse.ui.editors/plugin.properties1
-rw-r--r--org.eclipse.ui.editors/plugin.xml4
2 files changed, 5 insertions, 0 deletions
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties
index 15a15536b..42b9b6ea4 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 cc4828d69..139d36ff5 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

Back to the top