diff options
author | Dani Megert | 2008-03-22 08:09:55 +0000 |
---|---|---|
committer | Dani Megert | 2008-03-22 08:09:55 +0000 |
commit | fc5f9bc475e29ee38fb0e1b7c79fd37dbe1e8779 (patch) | |
tree | 9fe9a712a9a242c6cf8ea373186cbcda260773ce /org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/TextEditorMessages.properties | |
parent | 902b803cb55870b0c3cf8fdcb4820c5fb96f76a2 (diff) | |
download | eclipse.platform.text-fc5f9bc475e29ee38fb0e1b7c79fd37dbe1e8779.tar.gz eclipse.platform.text-fc5f9bc475e29ee38fb0e1b7c79fd37dbe1e8779.tar.xz eclipse.platform.text-fc5f9bc475e29ee38fb0e1b7c79fd37dbe1e8779.zip |
Committed part 2 of Markus's patch to fix bug 220215: [hovers] Bad API: IInformationControlExtension5#allowMoveIntoControl()v20080323-0800
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 | 10 |
1 files changed, 5 insertions, 5 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 0aa17426a18..b50155e3413 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 @@ -28,11 +28,11 @@ TextEditorPreferencePage_backgroundColor=Background color TextEditorPreferencePage_findScopeColor=Find scope TextEditorPreferencePage_accessibility_disableCustomCarets= Use &custom caret TextEditorPreferencePage_accessibility_wideCaret= &Enable thick caret -TextEditorDefaultsPreferencePage_moveIntoHover=Allow to mo&ve mouse into hover -TextEditorDefaultsPreferencePage_enrichHoverMode=&Enrich hover -TextEditorDefaultsPreferencePage_enrichHover_afterDelay=After delay -TextEditorDefaultsPreferencePage_enrichHover_immediately=Immediately -TextEditorDefaultsPreferencePage_enrichHover_onClick=On click +TextEditorDefaultsPreferencePage_enrichHoverMode=When mouse mo&ved into hover: +TextEditorDefaultsPreferencePage_enrichHover_afterDelay=Enrich after delay +TextEditorDefaultsPreferencePage_enrichHover_disabled=Close hover +TextEditorDefaultsPreferencePage_enrichHover_immediately=Enrich immediately +TextEditorDefaultsPreferencePage_enrichHover_onClick=Enrich on click TextEditorDefaultsPreferencePage_range_indicator=Show &range indicator TextEditorDefaultsPreferencePage_warn_if_derived= War&n before editing a derived file TextEditorDefaultsPreferencePage_smartHomeEnd= &Smart caret positioning at line start and end |