24 """ |
24 """ |
25 Class implementing the mdi area viewmanager class. |
25 Class implementing the mdi area viewmanager class. |
26 |
26 |
27 @signal editorChanged(string) emitted when the current editor has changed |
27 @signal editorChanged(string) emitted when the current editor has changed |
28 """ |
28 """ |
|
29 editorOpened = pyqtSignal(str) |
|
30 lastEditorClosed = pyqtSignal() |
|
31 checkActions = pyqtSignal(Editor) |
|
32 cursorChanged = pyqtSignal(Editor) |
|
33 breakpointToggled = pyqtSignal(Editor) |
|
34 |
29 def __init__(self, parent): |
35 def __init__(self, parent): |
30 """ |
36 """ |
31 Constructor |
37 Constructor |
32 |
38 |
33 @param parent parent widget (QWidget) |
39 @param parent parent widget (QWidget) |