diff -r b17b3aea644e -r e4711a55e482 Plugins/ViewManagerPlugins/MdiArea/MdiArea.py --- a/Plugins/ViewManagerPlugins/MdiArea/MdiArea.py Tue Aug 10 18:03:57 2010 +0200 +++ b/Plugins/ViewManagerPlugins/MdiArea/MdiArea.py Tue Aug 10 19:40:44 2010 +0200 @@ -26,6 +26,12 @@ @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 @@ -363,4 +369,4 @@ Private slot to iconize all windows. """ for win in self.subWindowList(): - win.showMinimized() \ No newline at end of file + win.showMinimized()