Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDani Megert2014-04-01 13:10:50 +0000
committerDani Megert2014-04-01 13:10:50 +0000
commitbdb5c111133f9a9c29e3bf649ad967640e71356e (patch)
tree5fab2c3ed387c9264379bc525cbb2165f8f80293 /org.eclipse.ui.editors
parent7eae3b960415165e898bdd7c59b36a0a29b656fa (diff)
downloadeclipse.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
Diffstat (limited to 'org.eclipse.ui.editors')
-rw-r--r--org.eclipse.ui.editors/plugin.properties5
-rw-r--r--org.eclipse.ui.editors/plugin.xml6
2 files changed, 8 insertions, 3 deletions
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties
index 64f17dd2c..ddb21a870 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 7e0b071c0..fbcd53559 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

Back to the top