diff -r 2e7054d62218 -r 8fd7ae10de2b Preferences/ConfigurationPages/EditorStylesPage.py
--- a/Preferences/ConfigurationPages/EditorStylesPage.py Wed Nov 06 19:44:42 2013 +0100
+++ b/Preferences/ConfigurationPages/EditorStylesPage.py Fri Nov 08 19:22:12 2013 +0100
@@ -64,6 +64,9 @@
self.trUtf8("Indicator in Line Number Margin"),
QsciScintilla.WrapFlagInMargin)
+ if QSCINTILLA_VERSION() < 0x020800:
+ self.caretlineAlwaysVisibleCheckBox.hide()
+
# set initial values
try:
self.foldingStyleComboBox.setCurrentIndex(
@@ -87,6 +90,8 @@
self.caretlineVisibleCheckBox.setChecked(
Preferences.getEditor("CaretLineVisible"))
+ self.caretlineAlwaysVisibleCheckBox.setChecked(
+ Preferences.getEditor("CaretLineAlwaysVisible"))
self.caretWidthSpinBox.setValue(
Preferences.getEditor("CaretWidth"))
self.colourizeSelTextCheckBox.setChecked(
@@ -233,6 +238,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())
