eric6/WebBrowser/TabManager/TabManagerWidget.py

changeset 8218
7c09585bd960
parent 8205
4a0f1f896341
equal deleted inserted replaced
8217:385f60c94548 8218:7c09585bd960
57 @param parent reference to the parent widget 57 @param parent reference to the parent widget
58 @type QWidget 58 @type QWidget
59 @param defaultWidget flag indicating the default widget 59 @param defaultWidget flag indicating the default widget
60 @type bool 60 @type bool
61 """ 61 """
62 super(TabManagerWidget, self).__init__(parent) 62 super().__init__(parent)
63 self.setWindowFlags(Qt.WindowType.Window) 63 self.setWindowFlags(Qt.WindowType.Window)
64 64
65 self.__layout = QVBoxLayout(self) 65 self.__layout = QVBoxLayout(self)
66 self.__layout.setContentsMargins(0, 0, 0, 0) 66 self.__layout.setContentsMargins(0, 0, 0, 0)
67 self.__tree = QTreeWidget(self) 67 self.__tree = QTreeWidget(self)

eric ide

mercurial