diff options
author | Lars Vogel | 2017-11-30 15:52:28 +0000 |
---|---|---|
committer | Lars Vogel | 2017-11-30 16:27:30 +0000 |
commit | c321f97bf2ad7e675516ee4b44595dd96bddcd96 (patch) | |
tree | de963df957d3465a3ba372827d04e624dc49f94a /org.eclipse.ui.editors | |
parent | 53bb42745d60d5d2d9b4fb7327962eb1fdf9b093 (diff) | |
download | eclipse.platform.text-c321f97bf2ad7e675516ee4b44595dd96bddcd96.tar.gz eclipse.platform.text-c321f97bf2ad7e675516ee4b44595dd96bddcd96.tar.xz eclipse.platform.text-c321f97bf2ad7e675516ee4b44595dd96bddcd96.zip |
Bug 527082 - [hovering][preferences] Add "Popup" as search term to
Hovers preference page
Also add pop-up to the search term. This needs to be added at the
beginning, see Bug 527082 for the discussion and Bug 527833 for a
follow-up bug.
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Change-Id: I44f2767cc3047422135d97866dd4152213b77586
Diffstat (limited to 'org.eclipse.ui.editors')
-rw-r--r-- | org.eclipse.ui.editors/plugin.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties index beb8a9ecabc..db71ce5f3dc 100644 --- a/org.eclipse.ui.editors/plugin.properties +++ b/org.eclipse.ui.editors/plugin.properties @@ -113,7 +113,7 @@ command.showRulerAnnotationInformation.description = Displays annotation informa conversionActionSet.label= Convert Line Delimiters conversionSubMenu.label= Con&vert Line Delimiters To -preferenceKeywords.general= text editor tabs spaces undo history ruler overview hyperlink overwrite colors range indicator typing appearance derived navigation smart caret positioning invisible whitespace characters drag drop dnd hovers popup sticky enrich rich +preferenceKeywords.general= pop-up text editor tabs spaces undo history ruler overview hyperlink overwrite colors range indicator typing appearance derived navigation smart caret positioning invisible whitespace characters drag drop dnd hovers popup sticky enrich rich preferenceKeywords.tabWidth= tab width preferenceKeywords.lineNumber= line numbers preferenceKeywords.printMargin= print margin |