Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 486
e4711a55e482
parent 464
a2b1d1770ef0
child 500
c3abc7895a01
--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Tue Aug 10 18:03:57 2010 +0200
+++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Tue Aug 10 19:40:44 2010 +0200
@@ -17,6 +17,7 @@
 from ViewManager.ViewManager import ViewManager
 
 import QScintilla.Editor
+from QScintilla.Editor import Editor
 
 import UI.PixmapCache
 
@@ -621,6 +622,12 @@
     @signal changeCaption(string) emitted if a change of the caption is necessary
     @signal editorChanged(string) emitted when the current editor has changed
     """
+    editorOpened = pyqtSignal(str)
+    lastEditorClosed = pyqtSignal()
+    checkActions = pyqtSignal(Editor)
+    cursorChanged = pyqtSignal(Editor)
+    breakpointToggled = pyqtSignal(Editor)
+    
     def __init__(self, parent):
         """
         Constructor
@@ -1095,4 +1102,4 @@
         for tw in self.tabWidgets:
             if id(tw) == id_:
                 return tw
-        return None
\ No newline at end of file
+        return None

eric ide

mercurial