eric: diff Plugins/ViewManagerPlugins/Tabview/Tabview.py

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)