Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 2824
858412c29c34
parent 2770
fd5ee85f0450
child 2847
1843ef6e2656
child 2964
84b65fb9e780
equal deleted inserted replaced
2822:449de130268e 2824:858412c29c34
174 self.indicator = E5Led(self) 174 self.indicator = E5Led(self)
175 self.setCornerWidget(self.indicator, Qt.TopLeftCorner) 175 self.setCornerWidget(self.indicator, Qt.TopLeftCorner)
176 176
177 self.rightCornerWidget = QWidget(self) 177 self.rightCornerWidget = QWidget(self)
178 self.rightCornerWidgetLayout = QHBoxLayout(self.rightCornerWidget) 178 self.rightCornerWidgetLayout = QHBoxLayout(self.rightCornerWidget)
179 self.rightCornerWidgetLayout.setMargin(0) 179 self.rightCornerWidgetLayout.setContentsMargins(0, 0, 0, 0)
180 self.rightCornerWidgetLayout.setSpacing(0) 180 self.rightCornerWidgetLayout.setSpacing(0)
181 181
182 self.__navigationMenu = QMenu(self) 182 self.__navigationMenu = QMenu(self)
183 self.__navigationMenu.aboutToShow.connect(self.__showNavigationMenu) 183 self.__navigationMenu.aboutToShow.connect(self.__showNavigationMenu)
184 self.__navigationMenu.triggered.connect(self.__navigationMenuTriggered) 184 self.__navigationMenu.triggered.connect(self.__navigationMenuTriggered)

eric ide

mercurial