22 |
22 |
23 class MdiArea(QMdiArea, ViewManager): |
23 class MdiArea(QMdiArea, ViewManager): |
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(str) emitted when the current editor has changed |
28 @signal lastEditorClosed() emitted after the last editor window was closed |
28 @signal lastEditorClosed() emitted after the last editor window was closed |
29 @signal editorOpened(string) emitted after an editor window was opened |
29 @signal editorOpened(str) emitted after an editor window was opened |
30 @signal editorOpenedEd(editor) emitted after an editor window was opened |
30 @signal editorOpenedEd(Editor) emitted after an editor window was opened |
31 @signal editorClosed(string) emitted just before an editor window gets closed |
31 @signal editorClosed(str) emitted just before an editor window gets closed |
32 @signal editorClosedEd(editor) emitted just before an editor window gets closed |
32 @signal editorClosedEd(Editor) emitted just before an editor window gets closed |
33 @signal editorSaved(string) emitted after an editor window was saved |
33 @signal editorSaved(str) emitted after an editor window was saved |
34 @signal checkActions(editor) emitted when some actions should be checked |
34 @signal checkActions(Editor) emitted when some actions should be checked |
35 for their status |
35 for their status |
36 @signal cursorChanged(editor) emitted after the cursor position of the active |
36 @signal cursorChanged(Editor) emitted after the cursor position of the active |
37 window has changed |
37 window has changed |
38 @signal breakpointToggled(editor) emitted when a breakpoint is toggled. |
38 @signal breakpointToggled(Editor) emitted when a breakpoint is toggled. |
39 @signal bookmarkToggled(editor) emitted when a bookmark is toggled. |
39 @signal bookmarkToggled(Editor) emitted when a bookmark is toggled. |
40 """ |
40 """ |
41 editorChanged = pyqtSignal(str) |
41 editorChanged = pyqtSignal(str) |
42 |
42 |
43 lastEditorClosed = pyqtSignal() |
43 lastEditorClosed = pyqtSignal() |
44 editorOpened = pyqtSignal(str) |
44 editorOpened = pyqtSignal(str) |