--- 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