Fixed an issue in the tabview view manager.

Fri, 11 Oct 2013 19:51:20 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Fri, 11 Oct 2013 19:51:20 +0200
changeset 3007
bad2e89047e7
parent 3006
66b769f458c9
child 3008
7848489bcb92

Fixed an issue in the tabview view manager.

Plugins/ViewManagerPlugins/Tabview/Tabview.py file | annotate | diff | comparison | revisions
diff -r 66b769f458c9 -r bad2e89047e7 Plugins/ViewManagerPlugins/Tabview/Tabview.py
--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Thu Oct 10 19:26:50 2013 +0200
+++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Fri Oct 11 19:51:20 2013 +0200
@@ -424,7 +424,7 @@
         @param lineno line number of the current editor's cursor (zero based)
         """
         editor = self.sender()
-        if editor:
+        if editor and isinstance(editor, QScintilla.Editor.Editor):
             fn = editor.getFileName()
             if fn:
                 self.vm.editorLineChanged.emit(fn, lineno + 1)

eric ide

mercurial