diff --git a/picard/ui/ui_options.py b/picard/ui/ui_options.py
index f70e72627..81e5ec214 100644
--- a/picard/ui/ui_options.py
+++ b/picard/ui/ui_options.py
@@ -1,6 +1,6 @@
# Form implementation generated from reading ui file 'ui/options.ui'
#
-# Created by: PyQt6 UI code generator 6.3.1
+# Created by: PyQt6 UI code generator 6.6.1
#
# WARNING: Any manual changes made to this file will be lost when pyuic6 is
# run again. Do not edit this file unless you know what you are doing.
@@ -17,25 +17,28 @@ class Ui_Dialog(object):
self.vboxlayout.setContentsMargins(9, 9, 9, 9)
self.vboxlayout.setSpacing(6)
self.vboxlayout.setObjectName("vboxlayout")
- self.dialog_splitter = QtWidgets.QSplitter(Dialog)
+ self.dialog_splitter = QtWidgets.QSplitter(parent=Dialog)
self.dialog_splitter.setOrientation(QtCore.Qt.Orientation.Horizontal)
+ self.dialog_splitter.setChildrenCollapsible(False)
self.dialog_splitter.setObjectName("dialog_splitter")
- self.pages_tree = QtWidgets.QTreeWidget(self.dialog_splitter)
+ self.pages_tree = QtWidgets.QTreeWidget(parent=self.dialog_splitter)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Ignored, QtWidgets.QSizePolicy.Policy.Expanding)
sizePolicy.setHorizontalStretch(0)
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)
+ self.pages_stack = QtWidgets.QStackedWidget(parent=self.dialog_splitter)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Policy.Ignored, QtWidgets.QSizePolicy.Policy.Preferred)
sizePolicy.setHorizontalStretch(0)
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)
+ self.buttonbox = QtWidgets.QDialogButtonBox(parent=Dialog)
self.buttonbox.setMinimumSize(QtCore.QSize(0, 0))
self.buttonbox.setOrientation(QtCore.Qt.Orientation.Horizontal)
self.buttonbox.setObjectName("buttonbox")
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
+
+