118 |
118 |
119 class Listspace(QSplitter, ViewManager): |
119 class Listspace(QSplitter, ViewManager): |
120 """ |
120 """ |
121 Class implementing the listspace viewmanager class. |
121 Class implementing the listspace viewmanager class. |
122 |
122 |
123 @signal changeCaption(string) emitted if a change of the caption is necessary |
123 @signal changeCaption(str) emitted if a change of the caption is necessary |
124 @signal editorChanged(string) emitted when the current editor has changed |
124 @signal editorChanged(str) emitted when the current editor has changed |
125 @signal lastEditorClosed() emitted after the last editor window was closed |
125 @signal lastEditorClosed() emitted after the last editor window was closed |
126 @signal editorOpened(string) emitted after an editor window was opened |
126 @signal editorOpened(str) emitted after an editor window was opened |
127 @signal editorOpenedEd(editor) emitted after an editor window was opened |
127 @signal editorOpenedEd(Editor) emitted after an editor window was opened |
128 @signal editorClosed(string) emitted just before an editor window gets closed |
128 @signal editorClosed(str) emitted just before an editor window gets closed |
129 @signal editorClosedEd(editor) emitted just before an editor window gets closed |
129 @signal editorClosedEd(Editor) emitted just before an editor window gets closed |
130 @signal editorSaved(string) emitted after an editor window was saved |
130 @signal editorSaved(str) emitted after an editor window was saved |
131 @signal checkActions(editor) emitted when some actions should be checked |
131 @signal checkActions(Editor) emitted when some actions should be checked |
132 for their status |
132 for their status |
133 @signal cursorChanged(editor) emitted after the cursor position of the active |
133 @signal cursorChanged(Editor) emitted after the cursor position of the active |
134 window has changed |
134 window has changed |
135 @signal breakpointToggled(editor) emitted when a breakpoint is toggled. |
135 @signal breakpointToggled(Editor) emitted when a breakpoint is toggled. |
136 @signal bookmarkToggled(editor) emitted when a bookmark is toggled. |
136 @signal bookmarkToggled(Editor) emitted when a bookmark is toggled. |
137 """ |
137 """ |
138 changeCaption = pyqtSignal(str) |
138 changeCaption = pyqtSignal(str) |
139 editorChanged = pyqtSignal(str) |
139 editorChanged = pyqtSignal(str) |
140 |
140 |
141 lastEditorClosed = pyqtSignal() |
141 lastEditorClosed = pyqtSignal() |