QScintilla/MiniEditor.py

changeset 3067
8fd7ae10de2b
parent 3039
8dd0165d805d
child 3080
6c0a430b19df
child 3087
fdbce259929f
--- a/QScintilla/MiniEditor.py	Wed Nov 06 19:44:42 2013 +0100
+++ b/QScintilla/MiniEditor.py	Fri Nov 08 19:22:12 2013 +0100
@@ -2412,6 +2412,8 @@
             Preferences.getEditorColour("CaretLineBackground"))
         self.__textEdit.setCaretLineVisible(
             Preferences.getEditor("CaretLineVisible"))
+        self.__textEdit.setCaretLineAlwaysVisible(
+            Preferences.getEditor("CaretLineAlwaysVisible"))
         self.caretWidth = Preferences.getEditor("CaretWidth")
         self.__textEdit.setCaretWidth(self.caretWidth)
         self.useMonospaced = Preferences.getEditor("UseMonospacedFont")

eric ide

mercurial