45 |
45 |
46 @param assembly editor assembly object to be added |
46 @param assembly editor assembly object to be added |
47 @type QScintilla.EditorAssembly.EditorAssembly |
47 @type QScintilla.EditorAssembly.EditorAssembly |
48 """ |
48 """ |
49 editor = assembly.getEditor() |
49 editor = assembly.getEditor() |
50 super(StackedWidget, self).addWidget(assembly) |
50 super().addWidget(assembly) |
51 if editor not in self.editors: |
51 if editor not in self.editors: |
52 self.editors.append(editor) |
52 self.editors.append(editor) |
53 |
53 |
54 def removeWidget(self, widget): |
54 def removeWidget(self, widget): |
55 """ |
55 """ |
59 @type QWidget |
59 @type QWidget |
60 """ |
60 """ |
61 if isinstance(widget, QScintilla.Editor.Editor): |
61 if isinstance(widget, QScintilla.Editor.Editor): |
62 self.editors.remove(widget) |
62 self.editors.remove(widget) |
63 widget = widget.parent() |
63 widget = widget.parent() |
64 super(StackedWidget, self).removeWidget(widget) |
64 super().removeWidget(widget) |
65 |
65 |
66 def currentWidget(self): |
66 def currentWidget(self): |
67 """ |
67 """ |
68 Public method to get a reference to the current editor. |
68 Public method to get a reference to the current editor. |
69 |
69 |
70 @return reference to the current editor |
70 @return reference to the current editor |
71 @rtype Editor |
71 @rtype Editor |
72 """ |
72 """ |
73 widget = super(StackedWidget, self).currentWidget() |
73 widget = super().currentWidget() |
74 if widget is not None: |
74 if widget is not None: |
75 widget = widget.getEditor() |
75 widget = widget.getEditor() |
76 return widget |
76 return widget |
77 |
77 |
78 def setCurrentWidget(self, widget): |
78 def setCurrentWidget(self, widget): |
85 if widget is not None: |
85 if widget is not None: |
86 if isinstance(widget, QScintilla.Editor.Editor): |
86 if isinstance(widget, QScintilla.Editor.Editor): |
87 self.editors.remove(widget) |
87 self.editors.remove(widget) |
88 self.editors.insert(0, widget) |
88 self.editors.insert(0, widget) |
89 widget = widget.parent() |
89 widget = widget.parent() |
90 super(StackedWidget, self).setCurrentWidget(widget) |
90 super().setCurrentWidget(widget) |
91 |
91 |
92 def setCurrentIndex(self, index): |
92 def setCurrentIndex(self, index): |
93 """ |
93 """ |
94 Public method to set the current widget by its index. |
94 Public method to set the current widget by its index. |
95 |
95 |
647 self.stackArea.addWidget(stack) |
647 self.stackArea.addWidget(stack) |
648 self.stacks.append(stack) |
648 self.stacks.append(stack) |
649 self.currentStack = stack |
649 self.currentStack = stack |
650 stack.currentChanged.connect(self.__currentChanged) |
650 stack.currentChanged.connect(self.__currentChanged) |
651 stack.installEventFilter(self) |
651 stack.installEventFilter(self) |
652 if self.stackArea.orientation() == Qt.Orientation.Horizontal: |
652 size = ( |
653 size = self.stackArea.width() |
653 self.stackArea.width() |
654 else: |
654 if self.stackArea.orientation() == Qt.Orientation.Horizontal else |
655 size = self.stackArea.height() |
655 self.stackArea.height() |
|
656 ) |
656 self.stackArea.setSizes( |
657 self.stackArea.setSizes( |
657 [int(size / len(self.stacks))] * len(self.stacks)) |
658 [int(size / len(self.stacks))] * len(self.stacks)) |
658 self.splitRemoveAct.setEnabled(True) |
659 self.splitRemoveAct.setEnabled(True) |
659 self.nextSplitAct.setEnabled(True) |
660 self.nextSplitAct.setEnabled(True) |
660 self.prevSplitAct.setEnabled(True) |
661 self.prevSplitAct.setEnabled(True) |
903 @return flag indicating, if we handled the event |
904 @return flag indicating, if we handled the event |
904 @rtype bool |
905 @rtype bool |
905 """ |
906 """ |
906 if ( |
907 if ( |
907 event.type() == QEvent.Type.MouseButtonPress and |
908 event.type() == QEvent.Type.MouseButtonPress and |
908 not event.button() == Qt.MouseButton.RightButton |
909 event.button() != Qt.MouseButton.RightButton |
909 ): |
910 ): |
910 switched = True |
911 switched = True |
911 if isinstance(watched, QStackedWidget): |
912 if isinstance(watched, QStackedWidget): |
912 switched = watched is not self.currentStack |
913 switched = watched is not self.currentStack |
913 self.currentStack = watched |
914 self.currentStack = watched |