719 def __init__(self, parent): |
719 def __init__(self, parent): |
720 """ |
720 """ |
721 Constructor |
721 Constructor |
722 |
722 |
723 @param parent parent widget (QWidget) |
723 @param parent parent widget (QWidget) |
724 @param ui reference to the main user interface |
|
725 @param dbs reference to the debug server object |
|
726 """ |
724 """ |
727 self.tabWidgets = [] |
725 self.tabWidgets = [] |
728 |
726 |
729 QSplitter.__init__(self, parent) |
727 QSplitter.__init__(self, parent) |
730 ViewManager.__init__(self) |
728 ViewManager.__init__(self) |
778 """ |
776 """ |
779 pass |
777 pass |
780 |
778 |
781 def _removeAllViews(self): |
779 def _removeAllViews(self): |
782 """ |
780 """ |
783 Protected method to remove all views (i.e. windows) |
781 Protected method to remove all views (i.e. windows). |
784 """ |
782 """ |
785 for win in self.editors: |
783 for win in self.editors: |
786 self._removeView(win) |
784 self._removeView(win) |
787 |
785 |
788 def _removeView(self, win): |
786 def _removeView(self, win): |
789 """ |
787 """ |
790 Protected method to remove a view (i.e. window) |
788 Protected method to remove a view (i.e. window). |
791 |
789 |
792 @param win editor window to be removed |
790 @param win editor window to be removed |
793 """ |
791 """ |
794 self.__inRemoveView = True |
792 self.__inRemoveView = True |
795 for tw in self.tabWidgets: |
793 for tw in self.tabWidgets: |
820 self.changeCaption.emit("") |
818 self.changeCaption.emit("") |
821 self.editorChangedEd.emit(aw) |
819 self.editorChangedEd.emit(aw) |
822 |
820 |
823 def _addView(self, win, fn=None, noName=""): |
821 def _addView(self, win, fn=None, noName=""): |
824 """ |
822 """ |
825 Protected method to add a view (i.e. window) |
823 Protected method to add a view (i.e. window). |
826 |
824 |
827 @param win editor assembly to be added |
825 @param win editor assembly to be added |
828 @param fn filename of this editor (string) |
826 @param fn filename of this editor (string) |
829 @param noName name to be used for an unnamed editor (string) |
827 @param noName name to be used for an unnamed editor (string) |
830 """ |
828 """ |
858 self.changeCaption.emit("") |
856 self.changeCaption.emit("") |
859 self.editorChangedEd.emit(editor) |
857 self.editorChangedEd.emit(editor) |
860 |
858 |
861 def insertView(self, win, tabWidget, index, fn=None, noName=""): |
859 def insertView(self, win, tabWidget, index, fn=None, noName=""): |
862 """ |
860 """ |
863 Protected method to add a view (i.e. window) |
861 Protected method to add a view (i.e. window). |
864 |
862 |
865 @param win editor assembly to be inserted |
863 @param win editor assembly to be inserted |
866 @param tabWidget reference to the tab widget to insert the editor into (TabWidget) |
864 @param tabWidget reference to the tab widget to insert the editor into (TabWidget) |
867 @param index index position to insert at (integer) |
865 @param index index position to insert at (integer) |
868 @param fn filename of this editor (string) |
866 @param fn filename of this editor (string) |
900 self._modificationStatusChanged(editor.isModified(), editor) |
898 self._modificationStatusChanged(editor.isModified(), editor) |
901 self._checkActions(editor) |
899 self._checkActions(editor) |
902 |
900 |
903 def _showView(self, win, fn=None): |
901 def _showView(self, win, fn=None): |
904 """ |
902 """ |
905 Protected method to show a view (i.e. window) |
903 Protected method to show a view (i.e. window). |
906 |
904 |
907 @param win editor assembly to be shown |
905 @param win editor assembly to be shown |
908 @param fn filename of this editor (string) |
906 @param fn filename of this editor (string) |
909 """ |
907 """ |
910 win.show() |
908 win.show() |