PluginManager/PluginRepositoryDialog.py

changeset 2824
858412c29c34
parent 2404
cba0ff902c2b
child 2847
1843ef6e2656
child 2960
9453efa25fd5
--- a/PluginManager/PluginRepositoryDialog.py	Thu Jul 25 19:08:05 2013 +0200
+++ b/PluginManager/PluginRepositoryDialog.py	Fri Jul 26 18:51:12 2013 +0200
@@ -540,7 +540,7 @@
         self.setSizeGripEnabled(True)
         
         self.__layout = QVBoxLayout(self)
-        self.__layout.setMargin(0)
+        self.__layout.setContentsMargins(0, 0, 0, 0)
         self.setLayout(self.__layout)
         
         self.cw = PluginRepositoryWidget(self)

eric ide

mercurial