eric6/Plugins/ViewManagerPlugins/Listspace/Listspace.py

branch
maintenance
changeset 8273
698ae46f40a4
parent 8176
31965986ecd1
parent 8259
2bbec88047dd
equal deleted inserted replaced
8190:fb0ef164f536 8273:698ae46f40a4
33 Constructor 33 Constructor
34 34
35 @param parent parent widget 35 @param parent parent widget
36 @type QWidget 36 @type QWidget
37 """ 37 """
38 super(StackedWidget, self).__init__(parent) 38 super().__init__(parent)
39 39
40 self.editors = [] 40 self.editors = []
41 41
42 def addWidget(self, assembly): 42 def addWidget(self, assembly):
43 """ 43 """
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

eric ide

mercurial