Changed the margins of some right side bar managed items to (0, 3, 0, 0). eric7

Tue, 14 Sep 2021 18:08:32 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Tue, 14 Sep 2021 18:08:32 +0200
branch
eric7
changeset 8604
d25390ea2f19
parent 8603
b510b7696cc5
child 8605
43bd6ec9198f

Changed the margins of some right side bar managed items to (0, 3, 0, 0).

eric7/CondaInterface/CondaPackagesWidget.py file | annotate | diff | comparison | revisions
eric7/MicroPython/MicroPythonWidget.py file | annotate | diff | comparison | revisions
eric7/PipInterface/PipPackagesWidget.py file | annotate | diff | comparison | revisions
eric7/PluginManager/PluginRepositoryDialog.py file | annotate | diff | comparison | revisions
--- a/eric7/CondaInterface/CondaPackagesWidget.py	Tue Sep 14 18:07:27 2021 +0200
+++ b/eric7/CondaInterface/CondaPackagesWidget.py	Tue Sep 14 18:08:32 2021 +0200
@@ -49,6 +49,8 @@
         super().__init__(parent)
         self.setupUi(self)
         
+        self.layout().setContentsMargins(0, 3, 0, 0)
+        
         self.__conda = conda
         
         if not CondaInterface.isCondaAvailable():
--- a/eric7/MicroPython/MicroPythonWidget.py	Tue Sep 14 18:07:27 2021 +0200
+++ b/eric7/MicroPython/MicroPythonWidget.py	Tue Sep 14 18:08:32 2021 +0200
@@ -209,6 +209,8 @@
         super().__init__(parent)
         self.setupUi(self)
         
+        self.layout().setContentsMargins(0, 3, 0, 0)
+        
         self.__ui = parent
         
         self.__superMenu = QMenu(self)
--- a/eric7/PipInterface/PipPackagesWidget.py	Tue Sep 14 18:07:27 2021 +0200
+++ b/eric7/PipInterface/PipPackagesWidget.py	Tue Sep 14 18:08:32 2021 +0200
@@ -161,6 +161,8 @@
         super().__init__(parent)
         self.setupUi(self)
         
+        self.layout().setContentsMargins(0, 3, 0, 0)
+        
         self.pipMenuButton.setObjectName(
             "pip_supermenu_button")
         self.pipMenuButton.setIcon(UI.PixmapCache.getIcon("superMenu"))
--- a/eric7/PluginManager/PluginRepositoryDialog.py	Tue Sep 14 18:07:27 2021 +0200
+++ b/eric7/PluginManager/PluginRepositoryDialog.py	Tue Sep 14 18:08:32 2021 +0200
@@ -93,6 +93,9 @@
             self.__external = False
         self.__integratedWidget = integrated
         
+        if integrated:
+            self.layout().setContentsMargins(0, 3, 0, 0)
+        
         self.__updateButton = self.buttonBox.addButton(
             self.tr("Update"), QDialogButtonBox.ButtonRole.ActionRole)
         self.__downloadButton = self.buttonBox.addButton(

eric ide

mercurial