Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNiko Stotz2019-11-18 20:24:21 +0000
committerNoopur Gupta2019-11-27 05:44:05 +0000
commite15d2d3e195388904d8940cf6bbb650ad4e9f145 (patch)
treef5877426884a61ac109361b220ef20462766b97b
parent36c093525af6238c6fefac3d88ff37a4d6e3559f (diff)
downloadeclipse.platform.text-e15d2d3e195388904d8940cf6bbb650ad4e9f145.tar.gz
eclipse.platform.text-e15d2d3e195388904d8940cf6bbb650ad4e9f145.tar.xz
eclipse.platform.text-e15d2d3e195388904d8940cf6bbb650ad4e9f145.zip
Change-Id: I106f12ed98168625ecb0f32e92314735f5b4bca1 Signed-off-by: Niko Stotz <eclipse@nikostotz.de>
-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