ViewManager/ViewManager.py

changeset 2769
8cbebde7a984
parent 2673
c62efb5f2d79
child 2791
a9577f248f04
child 2886
dcaebdef6f4a
--- a/ViewManager/ViewManager.py	Wed Jul 03 19:34:42 2013 +0200
+++ b/ViewManager/ViewManager.py	Fri Jul 05 19:17:29 2013 +0200
@@ -109,6 +109,8 @@
     @signal editorLanguageChanged(Editor) emitted to signal a change of an
             editor's language
     @signal editorTextChanged(Editor) emitted to signal a change of an editor's text
+    @signal editorLineChanged(str,int) emitted to signal a change of an editor's
+            current line (line is given one based)
     """
     changeCaption = pyqtSignal(str)
     editorChanged = pyqtSignal(str)
@@ -127,6 +129,7 @@
     previewStateChanged = pyqtSignal(bool)
     editorLanguageChanged = pyqtSignal(Editor)
     editorTextChanged = pyqtSignal(Editor)
+    editorLineChanged = pyqtSignal(str, int)
     
     def __init__(self):
         """

eric ide

mercurial