--- 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): """