Mercurial Repositories > eric / file comparison
comparison: Plugins/ViewManagerPlugins/Listspace/Listspace.py
Plugins/ViewManagerPlugins/Listspace/Listspace.py
- changeset 2424
- 8fe1fdc174ab
- parent 2302
- f29e9405c851
- child 2525
- 8b507a9a2d40
- child 2763
- e4794166ad70
equal
deleted
inserted
replaced
| 2423:bf4e888d72ab | 2424:8fe1fdc174ab |
|---|---|
| 137 """ | 137 """ |
| 138 Class implementing the listspace viewmanager class. | 138 Class implementing the listspace viewmanager class. |
| 139 | 139 |
| 140 @signal changeCaption(str) emitted if a change of the caption is necessary | 140 @signal changeCaption(str) emitted if a change of the caption is necessary |
| 141 @signal editorChanged(str) emitted when the current editor has changed | 141 @signal editorChanged(str) emitted when the current editor has changed |
| 142 @signal editorChangedEd(Editor) emitted when the current editor has changed | |
| 142 @signal lastEditorClosed() emitted after the last editor window was closed | 143 @signal lastEditorClosed() emitted after the last editor window was closed |
| 143 @signal editorOpened(str) emitted after an editor window was opened | 144 @signal editorOpened(str) emitted after an editor window was opened |
| 144 @signal editorOpenedEd(Editor) emitted after an editor window was opened | 145 @signal editorOpenedEd(Editor) emitted after an editor window was opened |
| 145 @signal editorClosed(str) emitted just before an editor window gets closed | 146 @signal editorClosed(str) emitted just before an editor window gets closed |
| 146 @signal editorClosedEd(Editor) emitted just before an editor window gets closed | 147 @signal editorClosedEd(Editor) emitted just before an editor window gets closed |
| 150 @signal cursorChanged(Editor) emitted after the cursor position of the active | 151 @signal cursorChanged(Editor) emitted after the cursor position of the active |
| 151 window has changed | 152 window has changed |
| 152 @signal breakpointToggled(Editor) emitted when a breakpoint is toggled. | 153 @signal breakpointToggled(Editor) emitted when a breakpoint is toggled. |
| 153 @signal bookmarkToggled(Editor) emitted when a bookmark is toggled. | 154 @signal bookmarkToggled(Editor) emitted when a bookmark is toggled. |
| 154 @signal syntaxerrorToggled(Editor) emitted when a syntax error is toggled. | 155 @signal syntaxerrorToggled(Editor) emitted when a syntax error is toggled. |
| 156 @signal previewStateChanged(bool) emitted to signal a change in the preview state | |
| 157 @signal editorLanguageChanged(Editor) emitted to signal a change of an | |
| 158 editors language | |
| 159 @signal editorTextChanged(Editor) emitted to signal a change of an editor's text | |
| 155 """ | 160 """ |
| 156 changeCaption = pyqtSignal(str) | 161 changeCaption = pyqtSignal(str) |
| 157 editorChanged = pyqtSignal(str) | 162 editorChanged = pyqtSignal(str) |
| 158 | 163 editorChangedEd = pyqtSignal(Editor) |
| 159 lastEditorClosed = pyqtSignal() | 164 lastEditorClosed = pyqtSignal() |
| 160 editorOpened = pyqtSignal(str) | 165 editorOpened = pyqtSignal(str) |
| 161 editorOpenedEd = pyqtSignal(Editor) | 166 editorOpenedEd = pyqtSignal(Editor) |
| 162 editorClosed = pyqtSignal(str) | 167 editorClosed = pyqtSignal(str) |
| 163 editorClosedEd = pyqtSignal(Editor) | 168 editorClosedEd = pyqtSignal(Editor) |
| 165 checkActions = pyqtSignal(Editor) | 170 checkActions = pyqtSignal(Editor) |
| 166 cursorChanged = pyqtSignal(Editor) | 171 cursorChanged = pyqtSignal(Editor) |
| 167 breakpointToggled = pyqtSignal(Editor) | 172 breakpointToggled = pyqtSignal(Editor) |
| 168 bookmarkToggled = pyqtSignal(Editor) | 173 bookmarkToggled = pyqtSignal(Editor) |
| 169 syntaxerrorToggled = pyqtSignal(Editor) | 174 syntaxerrorToggled = pyqtSignal(Editor) |
| 175 previewStateChanged = pyqtSignal(bool) | |
| 176 editorLanguageChanged = pyqtSignal(Editor) | |
| 177 editorTextChanged = pyqtSignal(Editor) | |
| 170 | 178 |
| 171 def __init__(self, parent): | 179 def __init__(self, parent): |
| 172 """ | 180 """ |
| 173 Constructor | 181 Constructor |
| 174 | 182 |
| 341 if fn: | 349 if fn: |
| 342 self.changeCaption.emit(fn) | 350 self.changeCaption.emit(fn) |
| 343 self.editorChanged.emit(fn) | 351 self.editorChanged.emit(fn) |
| 344 else: | 352 else: |
| 345 self.changeCaption.emit("") | 353 self.changeCaption.emit("") |
| 354 self.editorChangedEd.emit(aw) | |
| 346 | 355 |
| 347 def _addView(self, win, fn=None, noName=""): | 356 def _addView(self, win, fn=None, noName=""): |
| 348 """ | 357 """ |
| 349 Protected method to add a view (i.e. window) | 358 Protected method to add a view (i.e. window) |
| 350 | 359 |
| 376 if fn: | 385 if fn: |
| 377 self.changeCaption.emit(fn) | 386 self.changeCaption.emit(fn) |
| 378 self.editorChanged.emit(fn) | 387 self.editorChanged.emit(fn) |
| 379 else: | 388 else: |
| 380 self.changeCaption.emit("") | 389 self.changeCaption.emit("") |
| 390 self.editorChangedEd.emit(editor) | |
| 381 | 391 |
| 382 def __captionChange(self, cap, editor): | 392 def __captionChange(self, cap, editor): |
| 383 """ | 393 """ |
| 384 Private method to handle caption change signals from the editor. | 394 Private method to handle caption change signals from the editor. |
| 385 | 395 |
| 412 if fn: | 422 if fn: |
| 413 self.changeCaption.emit(fn) | 423 self.changeCaption.emit(fn) |
| 414 self.editorChanged.emit(fn) | 424 self.editorChanged.emit(fn) |
| 415 else: | 425 else: |
| 416 self.changeCaption.emit("") | 426 self.changeCaption.emit("") |
| 427 self.editorChangedEd.emit(editor) | |
| 417 | 428 |
| 418 def __showSelectedView(self, row): | 429 def __showSelectedView(self, row): |
| 419 """ | 430 """ |
| 420 Private slot called to show a view selected in the list. | 431 Private slot called to show a view selected in the list. |
| 421 | 432 |
| 695 self.changeCaption.emit(fn) | 706 self.changeCaption.emit(fn) |
| 696 if not self.__inRemoveView: | 707 if not self.__inRemoveView: |
| 697 self.editorChanged.emit(fn) | 708 self.editorChanged.emit(fn) |
| 698 else: | 709 else: |
| 699 self.changeCaption.emit("") | 710 self.changeCaption.emit("") |
| 711 self.editorChangedEd.emit(editor) | |
| 700 | 712 |
| 701 cindex = self.editors.index(editor) | 713 cindex = self.editors.index(editor) |
| 702 self.viewlist.setCurrentRow(cindex) | 714 self.viewlist.setCurrentRow(cindex) |
| 703 | 715 |
| 704 def eventFilter(self, watched, event): | 716 def eventFilter(self, watched, event): |
| 734 self.changeCaption.emit(fn) | 746 self.changeCaption.emit(fn) |
| 735 if switched: | 747 if switched: |
| 736 self.editorChanged.emit(fn) | 748 self.editorChanged.emit(fn) |
| 737 else: | 749 else: |
| 738 self.changeCaption.emit("") | 750 self.changeCaption.emit("") |
| 751 self.editorChangedEd.emit(aw) | |
| 739 | 752 |
| 740 return False | 753 return False |
