99 @signal editorOpened(str) emitted after an editor window was opened |
99 @signal editorOpened(str) emitted after an editor window was opened |
100 @signal editorOpenedEd(Editor) emitted after an editor window was opened |
100 @signal editorOpenedEd(Editor) emitted after an editor window was opened |
101 @signal editorClosed(str) emitted just before an editor window gets closed |
101 @signal editorClosed(str) emitted just before an editor window gets closed |
102 @signal editorClosedEd(Editor) emitted just before an editor window gets |
102 @signal editorClosedEd(Editor) emitted just before an editor window gets |
103 closed |
103 closed |
|
104 @signal editorRenamed(str) emitted after an editor was renamed |
|
105 @signal editorRenamedEd(Editor) emitted after an editor was renamed |
104 @signal editorSaved(str) emitted after an editor window was saved |
106 @signal editorSaved(str) emitted after an editor window was saved |
|
107 @signal editorSavedEd(Editor) emitted after an editor window was saved |
105 @signal checkActions(Editor) emitted when some actions should be checked |
108 @signal checkActions(Editor) emitted when some actions should be checked |
106 for their status |
109 for their status |
107 @signal cursorChanged(Editor) emitted after the cursor position of the |
110 @signal cursorChanged(Editor) emitted after the cursor position of the |
108 active window has changed |
111 active window has changed |
109 @signal breakpointToggled(Editor) emitted when a breakpoint is toggled |
112 @signal breakpointToggled(Editor) emitted when a breakpoint is toggled |
124 lastEditorClosed = pyqtSignal() |
127 lastEditorClosed = pyqtSignal() |
125 editorOpened = pyqtSignal(str) |
128 editorOpened = pyqtSignal(str) |
126 editorOpenedEd = pyqtSignal(Editor) |
129 editorOpenedEd = pyqtSignal(Editor) |
127 editorClosed = pyqtSignal(str) |
130 editorClosed = pyqtSignal(str) |
128 editorClosedEd = pyqtSignal(Editor) |
131 editorClosedEd = pyqtSignal(Editor) |
|
132 editorRenamed = pyqtSignal(str) |
|
133 editorRenamedEd = pyqtSignal(Editor) |
129 editorSaved = pyqtSignal(str) |
134 editorSaved = pyqtSignal(str) |
|
135 editorSavedEd = pyqtSignal(Editor) |
130 checkActions = pyqtSignal(Editor) |
136 checkActions = pyqtSignal(Editor) |
131 cursorChanged = pyqtSignal(Editor) |
137 cursorChanged = pyqtSignal(Editor) |
132 breakpointToggled = pyqtSignal(Editor) |
138 breakpointToggled = pyqtSignal(Editor) |
133 bookmarkToggled = pyqtSignal(Editor) |
139 bookmarkToggled = pyqtSignal(Editor) |
134 syntaxerrorToggled = pyqtSignal(Editor) |
140 syntaxerrorToggled = pyqtSignal(Editor) |
4438 """ |
4444 """ |
4439 editor.modificationStatusChanged.connect( |
4445 editor.modificationStatusChanged.connect( |
4440 self._modificationStatusChanged) |
4446 self._modificationStatusChanged) |
4441 editor.cursorChanged.connect(self.__cursorChanged) |
4447 editor.cursorChanged.connect(self.__cursorChanged) |
4442 editor.editorSaved.connect(self.__editorSaved) |
4448 editor.editorSaved.connect(self.__editorSaved) |
|
4449 editor.editorRenamed.connect(self.__editorRenamed) |
4443 editor.breakpointToggled.connect(self.__breakpointToggled) |
4450 editor.breakpointToggled.connect(self.__breakpointToggled) |
4444 editor.bookmarkToggled.connect(self.__bookmarkToggled) |
4451 editor.bookmarkToggled.connect(self.__bookmarkToggled) |
4445 editor.syntaxerrorToggled.connect(self._syntaxErrorToggled) |
4452 editor.syntaxerrorToggled.connect(self._syntaxErrorToggled) |
4446 editor.coverageMarkersShown.connect(self.__coverageMarkersShown) |
4453 editor.coverageMarkersShown.connect(self.__coverageMarkersShown) |
4447 editor.autoCompletionAPIsAvailable.connect( |
4454 editor.autoCompletionAPIsAvailable.connect( |
6469 """ |
6476 """ |
6470 Private slot to handle the editorSaved signal. |
6477 Private slot to handle the editorSaved signal. |
6471 |
6478 |
6472 It simply reemits the signal. |
6479 It simply reemits the signal. |
6473 |
6480 |
6474 @param fn filename of the saved editor |
6481 @param fn filename of the saved editor (string) |
6475 """ |
6482 """ |
6476 self.editorSaved.emit(fn) |
6483 self.editorSaved.emit(fn) |
|
6484 editor = self.sender() |
|
6485 if editor: |
|
6486 self.editorSavedEd.emit(editor) |
|
6487 |
|
6488 def __editorRenamed(self, fn): |
|
6489 """ |
|
6490 Private slot to handle the editorRenamed signal. |
|
6491 |
|
6492 It simply reemits the signal. |
|
6493 |
|
6494 @param fn filename of the renamed editor (string) |
|
6495 """ |
|
6496 self.editorRenamed.emit(fn) |
|
6497 editor = self.sender() |
|
6498 if editor: |
|
6499 self.editorRenamedEd.emit(editor) |
6477 |
6500 |
6478 def __cursorChanged(self, fn, line, pos): |
6501 def __cursorChanged(self, fn, line, pos): |
6479 """ |
6502 """ |
6480 Private slot to handle the cursorChanged signal. |
6503 Private slot to handle the cursorChanged signal. |
6481 |
6504 |