diff options
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java')
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java index 5699298a915..fb1f8a3af2f 100644 --- a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java +++ b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/AbstractTextEditor.java @@ -1341,7 +1341,7 @@ public abstract class AbstractTextEditor extends EditorPart implements ITextEdit * Value: {@value} * @since 3.0 */ - public final static String PREFERENCE_DISABLE_CUSTOM_CARETS= "AbstractTextEditor.Accessibility.DisableCustomCarets"; //$NON-NLS-1$ + public final static String PREFERENCE_USE_CUSTOM_CARETS= "AbstractTextEditor.Accessibility.UseCustomCarets"; //$NON-NLS-1$ /** * Key used to look up the caret width preference. * Value: {@value} @@ -2982,7 +2982,7 @@ public abstract class AbstractTextEditor extends EditorPart implements ITextEdit initializeViewerColors(fSourceViewer); } else if (PREFERENCE_COLOR_FIND_SCOPE.equals(property)) { initializeFindScopeColor(fSourceViewer); - } else if (PREFERENCE_DISABLE_CUSTOM_CARETS.equals(property)) { + } else if (PREFERENCE_USE_CUSTOM_CARETS.equals(property)) { updateCaret(); } else if (PREFERENCE_WIDE_CARET.equals(property)) { updateCaret(); @@ -4605,7 +4605,7 @@ public abstract class AbstractTextEditor extends EditorPart implements ITextEdit styledText.setCaret(null); disposeNonDefaultCaret(); - if (getPreferenceStore().getBoolean(PREFERENCE_DISABLE_CUSTOM_CARETS)) { + if (!getPreferenceStore().getBoolean(PREFERENCE_USE_CUSTOM_CARETS)) { Assert.isTrue(fNonDefaultCaret == null); } else if (fIsOverwriting) fNonDefaultCaret= createOverwriteCaret(styledText); |