diff options
author | Niko Stotz | 2019-11-18 20:24:21 +0000 |
---|---|---|
committer | Noopur Gupta | 2019-11-27 05:44:05 +0000 |
commit | e15d2d3e195388904d8940cf6bbb650ad4e9f145 (patch) | |
tree | f5877426884a61ac109361b220ef20462766b97b | |
parent | 36c093525af6238c6fefac3d88ff37a4d6e3559f (diff) | |
download | eclipse.platform.text-e15d2d3e195388904d8940cf6bbb650ad4e9f145.tar.gz eclipse.platform.text-e15d2d3e195388904d8940cf6bbb650ad4e9f145.tar.xz eclipse.platform.text-e15d2d3e195388904d8940cf6bbb650ad4e9f145.zip |
Bug 553000 - added annotation code mining preference search termsY20191127-0140S4_14_0_RC1I20191203-0600I20191202-1800I20191202-0600I20191201-1800I20191201-0600I20191130-1800I20191130-0600I20191129-1800I20191127-1800I20191127-0600
Change-Id: I106f12ed98168625ecb0f32e92314735f5b4bca1
Signed-off-by: Niko Stotz <eclipse@nikostotz.de>
-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 |