QScintilla/Shell.py

changeset 3067
8fd7ae10de2b
parent 3039
8dd0165d805d
child 3068
e2650fb5db4e
--- a/QScintilla/Shell.py	Wed Nov 06 19:44:42 2013 +0100
+++ b/QScintilla/Shell.py	Fri Nov 08 19:22:12 2013 +0100
@@ -406,6 +406,8 @@
         self.setCaretLineBackgroundColor(
             Preferences.getEditorColour("CaretLineBackground"))
         self.setCaretLineVisible(Preferences.getEditor("CaretLineVisible"))
+        self.setCaretLineAlwaysVisible(
+            Preferences.getEditor("CaretLineAlwaysVisible"))
         self.caretWidth = Preferences.getEditor("CaretWidth")
         self.setCaretWidth(self.caretWidth)
         if Preferences.getShell("WrapEnabled"):

eric ide

mercurial