diff options
author | Dani Megert | 2014-04-01 13:10:50 +0000 |
---|---|---|
committer | Dani Megert | 2014-04-01 13:10:50 +0000 |
commit | bdb5c111133f9a9c29e3bf649ad967640e71356e (patch) | |
tree | 5fab2c3ed387c9264379bc525cbb2165f8f80293 | |
parent | 7eae3b960415165e898bdd7c59b36a0a29b656fa (diff) | |
download | eclipse.platform.text-bdb5c111133f9a9c29e3bf649ad967640e71356e.tar.gz eclipse.platform.text-bdb5c111133f9a9c29e3bf649ad967640e71356e.tar.xz eclipse.platform.text-bdb5c111133f9a9c29e3bf649ad967640e71356e.zip |
Fixed bug 431705: Searching for "print margin" in preference dialog doesn't find anythingI20140408-1645I20140408-1200I20140408-0800I20140402-0100I20140401-1500
-rw-r--r-- | org.eclipse.ui.editors/plugin.properties | 5 | ||||
-rw-r--r-- | org.eclipse.ui.editors/plugin.xml | 6 |
2 files changed, 8 insertions, 3 deletions
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties index 64f17dd2cbe..ddb21a870db 100644 --- a/org.eclipse.ui.editors/plugin.properties +++ b/org.eclipse.ui.editors/plugin.properties @@ -1,5 +1,5 @@ ############################################################################### -# Copyright (c) 2000, 2012 IBM Corporation and others. +# Copyright (c) 2000, 2014 IBM Corporation and others. # All rights reserved. This program and the accompanying materials # are made available under the terms of the Eclipse Public License v1.0 # which accompanies this distribution, and is available at @@ -113,9 +113,10 @@ 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 print margin 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 sticky enrich rich preferenceKeywords.tabWidth= tab width preferenceKeywords.lineNumber= line numbers +preferenceKeywords.printMargin= print margin 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 7e0b071c07d..fbcd53559af 100644 --- a/org.eclipse.ui.editors/plugin.xml +++ b/org.eclipse.ui.editors/plugin.xml @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <?eclipse version="3.0"?> <!-- ====================================================================== --> -<!-- Copyright (c) 2002, 2012 IBM Corporation and others. --> +<!-- Copyright (c) 2002, 2014 IBM Corporation and others. --> <!-- All rights reserved. This program and the accompanying materials --> <!-- are made available under the terms of the Eclipse Public License v1.0 --> <!-- which accompanies this distribution, and is available at --> @@ -223,6 +223,7 @@ <keywordReference id="org.eclipse.ui.editors.general"/> <keywordReference id="org.eclipse.ui.editors.tabWidth"/> <keywordReference id="org.eclipse.ui.editors.lineNumber"/> + <keywordReference id="org.eclipse.ui.editors.printMargin"/> </page> <page name="%PreferencePages.Annotations" @@ -280,6 +281,9 @@ label="%preferenceKeywords.lineNumber" id="org.eclipse.ui.editors.lineNumber"/> <keyword + label="%preferenceKeywords.printMargin" + id="org.eclipse.ui.editors.printMargin"/> + <keyword label="%preferenceKeywords.annotations" id="org.eclipse.ui.editors.annotations"/> <keyword |