--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Thu Jul 25 19:08:05 2013 +0200
+++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Fri Jul 26 18:51:12 2013 +0200
@@ -176,7 +176,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)