diff options
author | teicher | 2004-04-13 10:58:54 +0000 |
---|---|---|
committer | teicher | 2004-04-13 10:58:54 +0000 |
commit | b041f0ea85de83614d8b049c22570f3453bd5610 (patch) | |
tree | 815f94eef8ab832db092238d28dba00b8b291806 | |
parent | bd5f2bc0a301f69d43ae3aab15da6bf5d9f48fe2 (diff) | |
download | eclipse.platform.text-b041f0ea85de83614d8b049c22570f3453bd5610.tar.gz eclipse.platform.text-b041f0ea85de83614d8b049c22570f3453bd5610.tar.xz eclipse.platform.text-b041f0ea85de83614d8b049c22570f3453bd5610.zip |
custom carets are off by default, enabled in text and java editors
2 files changed, 3 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextEditorPreferenceConstants.java b/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextEditorPreferenceConstants.java index ef081657b5b..68b86cb45b1 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextEditorPreferenceConstants.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextEditorPreferenceConstants.java @@ -255,5 +255,7 @@ public class TextEditorPreferenceConstants { // set defaults from ExtendedTextEditor ExtendedTextEditorPreferenceConstants.initializeDefaultValues(store); + + store.setDefault(ExtendedTextEditorPreferenceConstants.EDITOR_USE_CUSTOM_CARETS, true); } } diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/ExtendedTextEditorPreferenceConstants.java b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/ExtendedTextEditorPreferenceConstants.java index 90c95ca950c..705cbdbe2c9 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/ExtendedTextEditorPreferenceConstants.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/ExtendedTextEditorPreferenceConstants.java @@ -236,7 +236,7 @@ public class ExtendedTextEditorPreferenceConstants { store.setDefault(ExtendedTextEditorPreferenceConstants.EDITOR_UNKNOWN_INDICATION_IN_OVERVIEW_RULER, false); PreferenceConverter.setDefault(store, ExtendedTextEditorPreferenceConstants.EDITOR_UNKNOWN_INDICATION_COLOR, new RGB(0, 0, 0)); - store.setDefault(ExtendedTextEditorPreferenceConstants.EDITOR_USE_CUSTOM_CARETS, true); + store.setDefault(ExtendedTextEditorPreferenceConstants.EDITOR_USE_CUSTOM_CARETS, false); store.setDefault(ExtendedTextEditorPreferenceConstants.EDITOR_WIDE_CARET, true); MarkerAnnotationPreferences.initializeDefaultValues(store); |