Plugins/ViewManagerPlugins/Listspace/Listspace.py

changeset 4403
bd43fd5b4606
parent 4393
aa574fe5ea93
child 4631
5c1a96925da4
equal deleted inserted replaced
4402:ad524553e765 4403:bd43fd5b4606
75 """ 75 """
76 Public method to set the current widget. 76 Public method to set the current widget.
77 77
78 @param widget widget to be made current (QWidget) 78 @param widget widget to be made current (QWidget)
79 """ 79 """
80 if isinstance(widget, QScintilla.Editor.Editor): 80 if widget is not None:
81 self.editors.remove(widget) 81 if isinstance(widget, QScintilla.Editor.Editor):
82 self.editors.insert(0, widget) 82 self.editors.remove(widget)
83 widget = widget.parent() 83 self.editors.insert(0, widget)
84 super(StackedWidget, self).setCurrentWidget(widget) 84 widget = widget.parent()
85 super(StackedWidget, self).setCurrentWidget(widget)
85 86
86 def setCurrentIndex(self, index): 87 def setCurrentIndex(self, index):
87 """ 88 """
88 Public method to set the current widget by its index. 89 Public method to set the current widget by its index.
89 90

eric ide

mercurial