Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMarkus Keller2016-01-20 15:57:01 +0000
committerMarkus Keller2016-01-20 15:57:01 +0000
commitb45e6c163c5f101d2bdb8248593972e2a6cc6eb5 (patch)
treeba4f2e088578f698e6e8636493940e8b077b37ac /org.eclipse.ui.editors
parent65e4e6c47fc7069db9aa22cf2f26b3cd0e275007 (diff)
downloadeclipse.platform.text-b45e6c163c5f101d2bdb8248593972e2a6cc6eb5.tar.gz
eclipse.platform.text-b45e6c163c5f101d2bdb8248593972e2a6cc6eb5.tar.xz
eclipse.platform.text-b45e6c163c5f101d2bdb8248593972e2a6cc6eb5.zip
Bug 486184: [preferences] Annotations preference page: "Info" should be plural
Diffstat (limited to 'org.eclipse.ui.editors')
-rw-r--r--org.eclipse.ui.editors/plugin.properties2
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties
index e22b10ca4..ea42f575c 100644
--- a/org.eclipse.ui.editors/plugin.properties
+++ b/org.eclipse.ui.editors/plugin.properties
@@ -71,7 +71,7 @@ goToNextAnnotation.tooltip= Next Annotation
errors.label= Errors
warnings.label= Warnings
-infos.label= Info
+infos.label= Infos
tasks.label= Tasks
bookmarks.label= Bookmarks
changes.label= Diff Changes

Back to the top