QScintilla/Editor.py

changeset 2768
eab35f6e709f
parent 2659
7f46c5a7ed73
child 2791
a9577f248f04
child 2900
04a13651238e
--- a/QScintilla/Editor.py	Wed Jul 03 19:23:52 2013 +0200
+++ b/QScintilla/Editor.py	Wed Jul 03 19:34:42 2013 +0200
@@ -41,6 +41,7 @@
     @signal redoAvailable(bool) emitted to signal the redo availability
     @signal cursorChanged(str, int, int) emitted when the cursor position
             was changed
+    @signal cursorLineChanged(int) emitted when the cursor line was changed
     @signal editorAboutToBeSaved(str) emitted before the editor is saved
     @signal editorSaved(str) emitted after the editor has been saved
     @signal editorRenamed(str) emitted after the editor got a new name
@@ -75,6 +76,7 @@
     undoAvailable = pyqtSignal(bool)
     redoAvailable = pyqtSignal(bool)
     cursorChanged = pyqtSignal(str, int, int)
+    cursorLineChanged = pyqtSignal(int)
     editorAboutToBeSaved = pyqtSignal(str)
     editorSaved = pyqtSignal(str)
     editorRenamed = pyqtSignal(str)
@@ -1578,6 +1580,9 @@
             self.__markOccurrencesTimer.stop()
             self.__markOccurrencesTimer.start()
         
+        if self.lastLine != line:
+            self.cursorLineChanged.emit(line)
+        
         if self.spell is not None:
             # do spell checking
             doSpelling = True

eric ide

mercurial