diff -r 0233bbe9a9c4 -r 6c0a430b19df Preferences/ConfigurationPages/EditorStylesPage.py
--- a/Preferences/ConfigurationPages/EditorStylesPage.py Wed Nov 13 23:30:59 2013 +0100
+++ b/Preferences/ConfigurationPages/EditorStylesPage.py Sat Nov 16 10:06:28 2013 +0100
@@ -66,6 +66,9 @@
self.trUtf8("Indicator in Line Number Margin"),
QsciScintilla.WrapFlagInMargin)
+ if QSCINTILLA_VERSION() < 0x020800:
+ self.caretlineAlwaysVisibleCheckBox.hide()
+
# set initial values
try:
self.foldingStyleComboBox.setCurrentIndex(
@@ -89,6 +92,8 @@
self.caretlineVisibleCheckBox.setChecked(
Preferences.getEditor("CaretLineVisible"))
+ self.caretlineAlwaysVisibleCheckBox.setChecked(
+ Preferences.getEditor("CaretLineAlwaysVisible"))
self.caretWidthSpinBox.setValue(
Preferences.getEditor("CaretWidth"))
self.colourizeSelTextCheckBox.setChecked(
@@ -235,6 +240,9 @@
Preferences.setEditor(
"CaretLineVisible", self.caretlineVisibleCheckBox.isChecked())
Preferences.setEditor(
+ "CaretLineAlwaysVisible",
+ self.caretlineAlwaysVisibleCheckBox.isChecked())
+ Preferences.setEditor(
"ColourizeSelText", self.colourizeSelTextCheckBox.isChecked())
Preferences.setEditor(
"CustomSelectionColours", self.customSelColourCheckBox.isChecked())
