Merge pull request #866 from zas/tagging_scripts_splitter

PICARD-1026: set a minimum size for tagging scripts list
This commit is contained in:
Sambhav Kothari
2018-03-09 19:21:49 +05:30
committed by GitHub
2 changed files with 9 additions and 2 deletions

View File

@@ -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")

View File

@@ -81,11 +81,17 @@
</property>
<widget class="QListWidget" name="script_list">
<property name="sizePolicy">
<sizepolicy hsizetype="Ignored" vsizetype="Expanding">
<sizepolicy hsizetype="MinimumExpanding" vsizetype="Expanding">
<horstretch>0</horstretch>
<verstretch>0</verstretch>
</sizepolicy>
</property>
<property name="minimumSize">
<size>
<width>80</width>
<height>0</height>
</size>
</property>
</widget>
<widget class="QWidget" name="formWidget" native="true">
<layout class="QVBoxLayout" name="verticalLayout_2">