diff options
| author | Lars Vogel | 2017-11-27 16:25:46 +0000 |
|---|---|---|
| committer | Lars Vogel | 2017-11-27 16:26:20 +0000 |
| commit | 2592611ebda83d3b2388eea8eea8bac3c83babaf (patch) | |
| tree | f6b366629bd42c891647ccb5080cacf060d6d0f4 | |
| parent | 814f7d8813b170a8b8e5243f6512e725c9b67468 (diff) | |
| download | eclipse.platform.text-2592611ebda83d3b2388eea8eea8bac3c83babaf.tar.gz eclipse.platform.text-2592611ebda83d3b2388eea8eea8bac3c83babaf.tar.xz eclipse.platform.text-2592611ebda83d3b2388eea8eea8bac3c83babaf.zip | |
Bug 527082 - [hovering][preferences] Add "Popup" as search term to
Hovers preference page
Changes for 'Text Editors' page from eclipse.platform.text
Change-Id: I6d0cbdad9ace93ef118ddbaf8d674b7d96fb39a9
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
| -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 d26069807b9..beb8a9ecabc 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 sticky enrich rich +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.tabWidth= tab width preferenceKeywords.lineNumber= line numbers preferenceKeywords.printMargin= print margin |