Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
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.properties8
1 files changed, 8 insertions, 0 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 a316d2436..c41c9eb9b 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
@@ -39,6 +39,14 @@ TextEditorPreferencePage_accessibility_wideCaret= &Enable thick caret
TextEditorPreferencePage_accessibility_useSaturatedColorsInOverviewRuler=U&se saturated colors in overview ruler
TextEditorDefaultsPreferencePage_carriageReturn=Carriage Return ( \u00a4 )
TextEditorDefaultsPreferencePage_transparencyLevel=&Transparency level (0 is transparent and 255 is opaque):
+TextEditorDefaultsPreferencePage_codeMinings_description=How annotations should be shown in-line in text editors which support Code Minings
+TextEditorDefaultsPreferencePage_codeMinings_error=Error
+TextEditorDefaultsPreferencePage_codeMinings_ErrorWarnings=Error / Warnings
+TextEditorDefaultsPreferencePage_codeMinings_ErrowWarningsInfo=Error / Warnings / Info
+TextEditorDefaultsPreferencePage_codeMinings_max=Maximum annotations shown:
+TextEditorDefaultsPreferencePage_codeMinings_max_description=Limits the number of shown annotations to prevent performance issues
+TextEditorDefaultsPreferencePage_codeMinings_none=None
+TextEditorDefaultsPreferencePage_codeMinings_show=Show Code Minings for Annotations:
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

Back to the top