QScintilla/Shell.py

changeset 404
44a541bea034
parent 128
13e96bd0f5a5
child 428
58405c24aa09
child 792
a13346916170
--- a/QScintilla/Shell.py	Sun Jul 25 10:21:34 2010 +0200
+++ b/QScintilla/Shell.py	Sun Jul 25 12:02:49 2010 +0200
@@ -326,6 +326,8 @@
         self.useMonospaced = Preferences.getShell("UseMonospacedFont")
         self.__setMonospaced(self.useMonospaced)
         
+        self.setCursorFlashTime(QApplication.cursorFlashTime())
+        
     def __setMonospaced(self, on):
         """
         Private method to set/reset a monospaced font.
@@ -1395,6 +1397,8 @@
         except AttributeError:
             pass
         self.setCaretWidth(self.caretWidth)
+        self.setCursorFlashTime(QApplication.cursorFlashTime())
+        
         QsciScintillaCompat.focusInEvent(self, event)
         
     def focusOutEvent(self, event):

eric ide

mercurial