diff --git a/picard/ui/ui_options.py b/picard/ui/ui_options.py
index 45b1473e4..f3b6b0091 100644
--- a/picard/ui/ui_options.py
+++ b/picard/ui/ui_options.py
@@ -17,6 +17,7 @@ class Ui_Dialog(object):
self.vboxlayout.setObjectName("vboxlayout")
self.dialog_splitter = QtWidgets.QSplitter(Dialog)
self.dialog_splitter.setOrientation(QtCore.Qt.Horizontal)
+ self.dialog_splitter.setChildrenCollapsible(False)
self.dialog_splitter.setObjectName("dialog_splitter")
self.pages_tree = QtWidgets.QTreeWidget(self.dialog_splitter)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Ignored, QtWidgets.QSizePolicy.Expanding)
@@ -24,6 +25,7 @@ class Ui_Dialog(object):
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.pages_tree.sizePolicy().hasHeightForWidth())
self.pages_tree.setSizePolicy(sizePolicy)
+ self.pages_tree.setMinimumSize(QtCore.QSize(140, 0))
self.pages_tree.setObjectName("pages_tree")
self.pages_stack = QtWidgets.QStackedWidget(self.dialog_splitter)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Ignored, QtWidgets.QSizePolicy.Preferred)
@@ -31,6 +33,7 @@ class Ui_Dialog(object):
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.pages_stack.sizePolicy().hasHeightForWidth())
self.pages_stack.setSizePolicy(sizePolicy)
+ self.pages_stack.setMinimumSize(QtCore.QSize(280, 0))
self.pages_stack.setObjectName("pages_stack")
self.vboxlayout.addWidget(self.dialog_splitter)
self.buttonbox = QtWidgets.QDialogButtonBox(Dialog)
diff --git a/ui/options.ui b/ui/options.ui
index 73a181f5a..3f99eb76f 100644
--- a/ui/options.ui
+++ b/ui/options.ui
@@ -34,6 +34,9 @@
Qt::Horizontal
+
+ false
+
@@ -41,6 +44,12 @@
0
+
+
+ 140
+ 0
+
+
@@ -54,6 +63,12 @@
0
+
+
+ 280
+ 0
+
+