diff -r 9251c4dc4f7a -r 90a9aefd4253 eric6/Plugins/ViewManagerPlugins/Tabview/Tabview.py
--- a/eric6/Plugins/ViewManagerPlugins/Tabview/Tabview.py Sat Sep 19 19:04:21 2020 +0200
+++ b/eric6/Plugins/ViewManagerPlugins/Tabview/Tabview.py Sun Sep 20 18:32:28 2020 +0200
@@ -456,6 +456,7 @@
fn = editor.getFileName()
if fn:
self.vm.editorLineChanged.emit(fn, lineno + 1)
+ self.vm.editorLineChangedEd.emit(editor, lineno + 1)
def removeWidget(self, widget):
"""
@@ -763,6 +764,8 @@
editor's text
@signal editorLineChanged(str,int) emitted to signal a change of an
editor's current line (line is given one based)
+ @signal editorLineChangedEd(Editor,int) emitted to signal a change of an
+ editor's current line (line is given one based)
"""
changeCaption = pyqtSignal(str)
editorChanged = pyqtSignal(str)
@@ -786,6 +789,7 @@
editorLanguageChanged = pyqtSignal(Editor)
editorTextChanged = pyqtSignal(Editor)
editorLineChanged = pyqtSignal(str, int)
+ editorLineChangedEd = pyqtSignal(Editor, int)
def __init__(self, parent):
"""
