Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 3007
bad2e89047e7
parent 3005
3953ddfb991d
child 3025
67064c71df21
child 3057
10516539f238
--- 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