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(string) emitted when the current editor has changed |
|
28 @signal lastEditorClosed() emitted after the last editor window was closed |
|
29 @signal editorOpened(string) 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 |
|
32 @signal editorClosedEd(editor) emitted just before an editor window gets closed |
|
33 @signal editorSaved(string) emitted after an editor window was saved |
|
34 @signal checkActions(editor) emitted when some actions should be checked |
|
35 for their status |
|
36 @signal cursorChanged(editor) emitted after the cursor position of the active |
|
37 window has changed |
|
38 @signal breakpointToggled(editor) emitted when a breakpoint is toggled. |
|
39 @signal bookmarkToggled(editor) emitted when a bookmark is toggled. |
28 """ |
40 """ |
29 editorChanged = pyqtSignal(str) |
41 editorChanged = pyqtSignal(str) |
|
42 |
|
43 lastEditorClosed = pyqtSignal() |
30 editorOpened = pyqtSignal(str) |
44 editorOpened = pyqtSignal(str) |
31 lastEditorClosed = pyqtSignal() |
45 editorOpenedEd = pyqtSignal(Editor) |
|
46 editorClosed = pyqtSignal(str) |
|
47 editorClosedEd = pyqtSignal(Editor) |
|
48 editorSaved = pyqtSignal(str) |
32 checkActions = pyqtSignal(Editor) |
49 checkActions = pyqtSignal(Editor) |
33 cursorChanged = pyqtSignal(Editor) |
50 cursorChanged = pyqtSignal(Editor) |
34 breakpointToggled = pyqtSignal(Editor) |
51 breakpointToggled = pyqtSignal(Editor) |
|
52 bookmarkToggled = pyqtSignal(Editor) |
|
53 syntaxerrorToggled = pyqtSignal(Editor) |
35 |
54 |
36 def __init__(self, parent): |
55 def __init__(self, parent): |
37 """ |
56 """ |
38 Constructor |
57 Constructor |
39 |
58 |