--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py Mon Aug 12 19:41:53 2013 +0200 +++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py Mon Aug 12 22:21:53 2013 +0200 @@ -178,7 +178,7 @@ self.rightCornerWidget = QWidget(self) self.rightCornerWidgetLayout = QHBoxLayout(self.rightCornerWidget) - self.rightCornerWidgetLayout.setMargin(0) + self.rightCornerWidgetLayout.setContentsMargins(0, 0, 0, 0) self.rightCornerWidgetLayout.setSpacing(0) self.__navigationMenu = QMenu(self)