Thu, 27 Oct 2022 14:09:01 +0200
Added a line of code to ensure the proper virtualenv manager widget borders.
src/eric7/VirtualEnv/VirtualenvManagerWidgets.py | file | annotate | diff | comparison | revisions |
--- a/src/eric7/VirtualEnv/VirtualenvManagerWidgets.py Thu Oct 27 14:08:25 2022 +0200 +++ b/src/eric7/VirtualEnv/VirtualenvManagerWidgets.py Thu Oct 27 14:09:01 2022 +0200 @@ -53,6 +53,8 @@ super().__init__(parent) self.setupUi(self) + self.layout().setContentsMargins(0, 3, 0, 0) + self.__manager = manager self.refreshButton.setIcon(EricPixmapCache.getIcon("reload"))