From 0175282a864e26519b27d2c28e7b737565942446 Mon Sep 17 00:00:00 2001 From: Laurent Monin Date: Thu, 8 Mar 2018 22:23:50 +0100 Subject: [PATCH] PICARD-1026: set a minimum size for tagging scripts list - it is not possible to fully hide the left part now - minimal width set to 80 pixels --- picard/ui/ui_options_script.py | 3 ++- ui/options_script.ui | 8 +++++++- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/picard/ui/ui_options_script.py b/picard/ui/ui_options_script.py index b5c6da10b..f62a5c9d8 100644 --- a/picard/ui/ui_options_script.py +++ b/picard/ui/ui_options_script.py @@ -43,11 +43,12 @@ class Ui_ScriptingOptionsPage(object): self.splitter.setChildrenCollapsible(False) self.splitter.setObjectName("splitter") self.script_list = QtWidgets.QListWidget(self.splitter) - sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Ignored, QtWidgets.QSizePolicy.Expanding) + sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.MinimumExpanding, QtWidgets.QSizePolicy.Expanding) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.script_list.sizePolicy().hasHeightForWidth()) self.script_list.setSizePolicy(sizePolicy) + self.script_list.setMinimumSize(QtCore.QSize(80, 0)) self.script_list.setObjectName("script_list") self.formWidget = QtWidgets.QWidget(self.splitter) self.formWidget.setObjectName("formWidget") diff --git a/ui/options_script.ui b/ui/options_script.ui index 93d5de893..c0e3639a9 100644 --- a/ui/options_script.ui +++ b/ui/options_script.ui @@ -81,11 +81,17 @@ - + 0 0 + + + 80 + 0 + +