diff options
Diffstat (limited to 'org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/TextEditorMessages.properties')
| -rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/TextEditorMessages.properties | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/TextEditorMessages.properties b/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/TextEditorMessages.properties index a770961b5..a316d2436 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/TextEditorMessages.properties +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/TextEditorMessages.properties @@ -1,5 +1,5 @@ ############################################################################### -# Copyright (c) 2000, 2018 IBM Corporation and others. +# Copyright (c) 2000, 2019 IBM Corporation and others. # # This program and the accompanying materials # are made available under the terms of the Eclipse Public License 2.0 @@ -40,6 +40,7 @@ TextEditorPreferencePage_accessibility_useSaturatedColorsInOverviewRuler=U&se sa TextEditorDefaultsPreferencePage_carriageReturn=Carriage Return ( \u00a4 ) TextEditorDefaultsPreferencePage_transparencyLevel=&Transparency level (0 is transparent and 255 is opaque): TextEditorDefaultsPreferencePage_configureWhitespaceCharacterPainterProperties=Configure visibility of whitespace characters in different regions of a line of text: +TextEditorDefaultsPreferencePage_deleteSpacesAsTabs=Remove &multiple spaces on backspace/delete TextEditorDefaultsPreferencePage_enclosed=Enclosed TextEditorDefaultsPreferencePage_enrichHoverMode=When mouse mo&ved into hover: TextEditorDefaultsPreferencePage_enrichHover_afterDelay=Enrich after delay |