708 @signal editorOpened(str) emitted after an editor window was opened |
708 @signal editorOpened(str) emitted after an editor window was opened |
709 @signal editorOpenedEd(Editor) emitted after an editor window was opened |
709 @signal editorOpenedEd(Editor) emitted after an editor window was opened |
710 @signal editorClosed(str) emitted just before an editor window gets closed |
710 @signal editorClosed(str) emitted just before an editor window gets closed |
711 @signal editorClosedEd(Editor) emitted just before an editor window gets |
711 @signal editorClosedEd(Editor) emitted just before an editor window gets |
712 closed |
712 closed |
|
713 @signal editorRenamed(str) emitted after an editor was renamed |
|
714 @signal editorRenamedEd(Editor) emitted after an editor was renamed |
713 @signal editorSaved(str) emitted after an editor window was saved |
715 @signal editorSaved(str) emitted after an editor window was saved |
|
716 @signal editorSavedEd(Editor) emitted after an editor window was saved |
714 @signal checkActions(Editor) emitted when some actions should be checked |
717 @signal checkActions(Editor) emitted when some actions should be checked |
715 for their status |
718 for their status |
716 @signal cursorChanged(Editor) emitted after the cursor position of the |
719 @signal cursorChanged(Editor) emitted after the cursor position of the |
717 active window has changed |
720 active window has changed |
718 @signal breakpointToggled(Editor) emitted when a breakpoint is toggled. |
721 @signal breakpointToggled(Editor) emitted when a breakpoint is toggled. |
733 lastEditorClosed = pyqtSignal() |
736 lastEditorClosed = pyqtSignal() |
734 editorOpened = pyqtSignal(str) |
737 editorOpened = pyqtSignal(str) |
735 editorOpenedEd = pyqtSignal(Editor) |
738 editorOpenedEd = pyqtSignal(Editor) |
736 editorClosed = pyqtSignal(str) |
739 editorClosed = pyqtSignal(str) |
737 editorClosedEd = pyqtSignal(Editor) |
740 editorClosedEd = pyqtSignal(Editor) |
|
741 editorRenamed = pyqtSignal(str) |
|
742 editorRenamedEd = pyqtSignal(Editor) |
738 editorSaved = pyqtSignal(str) |
743 editorSaved = pyqtSignal(str) |
|
744 editorSavedEd = pyqtSignal(Editor) |
739 checkActions = pyqtSignal(Editor) |
745 checkActions = pyqtSignal(Editor) |
740 cursorChanged = pyqtSignal(Editor) |
746 cursorChanged = pyqtSignal(Editor) |
741 breakpointToggled = pyqtSignal(Editor) |
747 breakpointToggled = pyqtSignal(Editor) |
742 bookmarkToggled = pyqtSignal(Editor) |
748 bookmarkToggled = pyqtSignal(Editor) |
743 syntaxerrorToggled = pyqtSignal(Editor) |
749 syntaxerrorToggled = pyqtSignal(Editor) |