Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorteicher2004-04-13 10:58:54 +0000
committerteicher2004-04-13 10:58:54 +0000
commitb041f0ea85de83614d8b049c22570f3453bd5610 (patch)
tree815f94eef8ab832db092238d28dba00b8b291806
parentbd5f2bc0a301f69d43ae3aab15da6bf5d9f48fe2 (diff)
downloadeclipse.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
-rw-r--r--org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextEditorPreferenceConstants.java2
-rw-r--r--org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/ExtendedTextEditorPreferenceConstants.java2
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 ef081657b..68b86cb45 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 90c95ca95..705cbdbe2 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);

Back to the top