Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'org.eclipse.ui.editors/plugin.xml')
-rw-r--r--org.eclipse.ui.editors/plugin.xml4
1 files changed, 4 insertions, 0 deletions
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

Back to the top