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.
Change-Id: I9b565c2970b17d143039fc1eeb9da8c3ea6de24a
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
diff --git a/org.eclipse.jdt.ui/plugin.properties b/org.eclipse.jdt.ui/plugin.properties
index 3348de9..89727a3 100644
--- a/org.eclipse.jdt.ui/plugin.properties
+++ b/org.eclipse.jdt.ui/plugin.properties
@@ -115,7 +115,7 @@
preferenceKeywords.javaeditorproperty= Java java editor save action participant clean up
preferenceKeywords.contentassist=Java editor content code assist complete completion insert overwrite single proposal common prefix automatically import fill argument name guess alphabetical hide discouraged reference forbidden auto activation trigger Javadoc camel camelcase category categories separate specific timeout type types word hippie template static members favorites
-preferenceKeywords.hover=Java editor hover popup sticky annotation roll over key modifier combined variable problem externalized externalize string source
+preferenceKeywords.hover=pop-up Java editor hover popup sticky annotation roll over key modifier combined variable problem externalized externalize string source
preferenceKeywords.syntaxcoloring=Java editor colors semantic coloring highlighting Javadoc html links tags multi line single line comment task tag method invocation static field annotation autoboxing unboxing boxing constant deprecated field keywords local variable operators brackets strings type variable inherited method declaration
preferenceKeywords.templates=Java editor templates snippet macros
preferenceKeywords.folding=Java editor folding section comment comments header method import inner type
