Mercurial Repositories > eric / file comparison
comparison: Plugins/ViewManagerPlugins/Tabview/Tabview.py
Plugins/ViewManagerPlugins/Tabview/Tabview.py
- changeset 2424
- 8fe1fdc174ab
- parent 2302
- f29e9405c851
- child 2525
- 8b507a9a2d40
- child 2763
- e4794166ad70
equal
deleted
inserted
replaced
| 2423:bf4e888d72ab | 2424:8fe1fdc174ab |
|---|---|
| 660 """ | 660 """ |
| 661 Class implementing a tabbed viewmanager class embedded in a splitter. | 661 Class implementing a tabbed viewmanager class embedded in a splitter. |
| 662 | 662 |
| 663 @signal changeCaption(str) emitted if a change of the caption is necessary | 663 @signal changeCaption(str) emitted if a change of the caption is necessary |
| 664 @signal editorChanged(str) emitted when the current editor has changed | 664 @signal editorChanged(str) emitted when the current editor has changed |
| 665 @signal editorChangedEd(Editor) emitted when the current editor has changed | |
| 665 @signal lastEditorClosed() emitted after the last editor window was closed | 666 @signal lastEditorClosed() emitted after the last editor window was closed |
| 666 @signal editorOpened(str) emitted after an editor window was opened | 667 @signal editorOpened(str) emitted after an editor window was opened |
| 667 @signal editorOpenedEd(Editor) emitted after an editor window was opened | 668 @signal editorOpenedEd(Editor) emitted after an editor window was opened |
| 668 @signal editorClosed(str) emitted just before an editor window gets closed | 669 @signal editorClosed(str) emitted just before an editor window gets closed |
| 669 @signal editorClosedEd(Editor) emitted just before an editor window gets closed | 670 @signal editorClosedEd(Editor) emitted just before an editor window gets closed |
| 673 @signal cursorChanged(Editor) emitted after the cursor position of the active | 674 @signal cursorChanged(Editor) emitted after the cursor position of the active |
| 674 window has changed | 675 window has changed |
| 675 @signal breakpointToggled(Editor) emitted when a breakpoint is toggled. | 676 @signal breakpointToggled(Editor) emitted when a breakpoint is toggled. |
| 676 @signal bookmarkToggled(Editor) emitted when a bookmark is toggled. | 677 @signal bookmarkToggled(Editor) emitted when a bookmark is toggled. |
| 677 @signal syntaxerrorToggled(Editor) emitted when a syntax error is toggled. | 678 @signal syntaxerrorToggled(Editor) emitted when a syntax error is toggled. |
| 679 @signal previewStateChanged(bool) emitted to signal a change in the preview state | |
| 680 @signal editorLanguageChanged(Editor) emitted to signal a change of an | |
| 681 editors language | |
| 682 @signal editorTextChanged(Editor) emitted to signal a change of an editor's text | |
| 678 """ | 683 """ |
| 679 changeCaption = pyqtSignal(str) | 684 changeCaption = pyqtSignal(str) |
| 680 editorChanged = pyqtSignal(str) | 685 editorChanged = pyqtSignal(str) |
| 681 | 686 editorChangedEd = pyqtSignal(Editor) |
| 682 lastEditorClosed = pyqtSignal() | 687 lastEditorClosed = pyqtSignal() |
| 683 editorOpened = pyqtSignal(str) | 688 editorOpened = pyqtSignal(str) |
| 684 editorOpenedEd = pyqtSignal(Editor) | 689 editorOpenedEd = pyqtSignal(Editor) |
| 685 editorClosed = pyqtSignal(str) | 690 editorClosed = pyqtSignal(str) |
| 686 editorClosedEd = pyqtSignal(Editor) | 691 editorClosedEd = pyqtSignal(Editor) |
| 688 checkActions = pyqtSignal(Editor) | 693 checkActions = pyqtSignal(Editor) |
| 689 cursorChanged = pyqtSignal(Editor) | 694 cursorChanged = pyqtSignal(Editor) |
| 690 breakpointToggled = pyqtSignal(Editor) | 695 breakpointToggled = pyqtSignal(Editor) |
| 691 bookmarkToggled = pyqtSignal(Editor) | 696 bookmarkToggled = pyqtSignal(Editor) |
| 692 syntaxerrorToggled = pyqtSignal(Editor) | 697 syntaxerrorToggled = pyqtSignal(Editor) |
| 698 previewStateChanged = pyqtSignal(bool) | |
| 699 editorLanguageChanged = pyqtSignal(Editor) | |
| 700 editorTextChanged = pyqtSignal(Editor) | |
| 693 | 701 |
| 694 def __init__(self, parent): | 702 def __init__(self, parent): |
| 695 """ | 703 """ |
| 696 Constructor | 704 Constructor |
| 697 | 705 |
| 790 if fn: | 798 if fn: |
| 791 self.changeCaption.emit(fn) | 799 self.changeCaption.emit(fn) |
| 792 self.editorChanged.emit(fn) | 800 self.editorChanged.emit(fn) |
| 793 else: | 801 else: |
| 794 self.changeCaption.emit("") | 802 self.changeCaption.emit("") |
| 803 self.editorChangedEd.emit(aw) | |
| 795 | 804 |
| 796 def _addView(self, win, fn=None, noName=""): | 805 def _addView(self, win, fn=None, noName=""): |
| 797 """ | 806 """ |
| 798 Protected method to add a view (i.e. window) | 807 Protected method to add a view (i.e. window) |
| 799 | 808 |
| 826 if fn: | 835 if fn: |
| 827 self.changeCaption.emit(fn) | 836 self.changeCaption.emit(fn) |
| 828 self.editorChanged.emit(fn) | 837 self.editorChanged.emit(fn) |
| 829 else: | 838 else: |
| 830 self.changeCaption.emit("") | 839 self.changeCaption.emit("") |
| 840 self.editorChangedEd.emit(editor) | |
| 831 | 841 |
| 832 def insertView(self, win, tabWidget, index, fn=None, noName=""): | 842 def insertView(self, win, tabWidget, index, fn=None, noName=""): |
| 833 """ | 843 """ |
| 834 Protected method to add a view (i.e. window) | 844 Protected method to add a view (i.e. window) |
| 835 | 845 |
| 863 if fn: | 873 if fn: |
| 864 self.changeCaption.emit(fn) | 874 self.changeCaption.emit(fn) |
| 865 self.editorChanged.emit(fn) | 875 self.editorChanged.emit(fn) |
| 866 else: | 876 else: |
| 867 self.changeCaption.emit("") | 877 self.changeCaption.emit("") |
| 878 self.editorChangedEd.emit(editor) | |
| 868 | 879 |
| 869 self._modificationStatusChanged(editor.isModified(), editor) | 880 self._modificationStatusChanged(editor.isModified(), editor) |
| 870 self._checkActions(editor) | 881 self._checkActions(editor) |
| 871 | 882 |
| 872 def _showView(self, win, fn=None): | 883 def _showView(self, win, fn=None): |
| 1093 self.changeCaption.emit(fn) | 1104 self.changeCaption.emit(fn) |
| 1094 if not self.__inRemoveView: | 1105 if not self.__inRemoveView: |
| 1095 self.editorChanged.emit(fn) | 1106 self.editorChanged.emit(fn) |
| 1096 else: | 1107 else: |
| 1097 self.changeCaption.emit("") | 1108 self.changeCaption.emit("") |
| 1109 self.editorChangedEd.emit(editor) | |
| 1098 | 1110 |
| 1099 def eventFilter(self, watched, event): | 1111 def eventFilter(self, watched, event): |
| 1100 """ | 1112 """ |
| 1101 Public method called to filter the event queue. | 1113 Public method called to filter the event queue. |
| 1102 | 1114 |
| 1133 self.changeCaption.emit(fn) | 1145 self.changeCaption.emit(fn) |
| 1134 if switched: | 1146 if switched: |
| 1135 self.editorChanged.emit(fn) | 1147 self.editorChanged.emit(fn) |
| 1136 else: | 1148 else: |
| 1137 self.changeCaption.emit("") | 1149 self.changeCaption.emit("") |
| 1150 self.editorChangedEd.emit(aw) | |
| 1138 | 1151 |
| 1139 return False | 1152 return False |
| 1140 | 1153 |
| 1141 def preferencesChanged(self): | 1154 def preferencesChanged(self): |
| 1142 """ | 1155 """ |
