Fix some sizing issues in the manuscript tools

2023-06-10 13:07:47 +02:00
parent 8e6bb0b3d6
commit 98692eb2fe
3 changed files with 10 additions and 4 deletions
@@ -177,6 +177,8 @@ class GuiManuscript(QDialog):
        self.mainSplit = QSplitter()
        self.mainSplit.addWidget(self.optsWidget)
        self.mainSplit.addWidget(self.docPreview)
+        self.mainSplit.setCollapsible(0, False)
+        self.mainSplit.setCollapsible(1, False)
        self.mainSplit.setStretchFactor(0, 0)
        self.mainSplit.setStretchFactor(1, 1)
        self.mainSplit.setSizes([