From 98692eb2fe1d6a71c2c976233de8be78cc5102f0 Mon Sep 17 00:00:00 2001 From: Veronica Berglyd Olsen <1619840+vkbo@users.noreply.github.com> Date: Sat, 10 Jun 2023 13:07:47 +0200 Subject: [PATCH] Fix some sizing issues in the manuscript tools --- novelwriter/tools/manusbuild.py | 2 ++ novelwriter/tools/manuscript.py | 2 ++ novelwriter/tools/manussettings.py | 10 ++++++---- 3 files changed, 10 insertions(+), 4 deletions(-) diff --git a/novelwriter/tools/manusbuild.py b/novelwriter/tools/manusbuild.py index 4f24ec1b..5b21cdbf 100644 --- a/novelwriter/tools/manusbuild.py +++ b/novelwriter/tools/manusbuild.py @@ -196,6 +196,8 @@ class GuiManuscriptBuild(QDialog): self.mainSplit.setHandleWidth(sp16) self.mainSplit.setCollapsible(0, False) self.mainSplit.setCollapsible(1, False) + self.mainSplit.setStretchFactor(0, 0) + self.mainSplit.setStretchFactor(1, 1) self.mainSplit.setSizes([ CONFIG.pxInt(pOptions.getInt("GuiManuscriptBuild", "fmtWidth", wWin//2)), CONFIG.pxInt(pOptions.getInt("GuiManuscriptBuild", "sumWidth", wWin//2)), diff --git a/novelwriter/tools/manuscript.py b/novelwriter/tools/manuscript.py index 5308dc63..11729bce 100644 --- a/novelwriter/tools/manuscript.py +++ b/novelwriter/tools/manuscript.py @@ -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([ diff --git a/novelwriter/tools/manussettings.py b/novelwriter/tools/manussettings.py index 53da155d..c9fd824c 100644 --- a/novelwriter/tools/manussettings.py +++ b/novelwriter/tools/manussettings.py @@ -371,8 +371,6 @@ class _FilterTab(QWidget): # ============ pOptions = self.theProject.options - wTree = CONFIG.pxInt(pOptions.getInt("GuiBuildSettings", "treeWidth", 0)) - fTree = CONFIG.pxInt(pOptions.getInt("GuiBuildSettings", "filterWidth", 0)) self.selectionBox = QVBoxLayout() self.selectionBox.addWidget(self.optTree) @@ -387,8 +385,12 @@ class _FilterTab(QWidget): self.mainSplit.addWidget(self.filterOpt) self.mainSplit.setCollapsible(0, False) self.mainSplit.setCollapsible(1, False) - if wTree > 0: - self.mainSplit.setSizes([wTree, fTree]) + self.mainSplit.setStretchFactor(0, 0) + self.mainSplit.setStretchFactor(1, 1) + self.mainSplit.setSizes([ + CONFIG.pxInt(pOptions.getInt("GuiBuildSettings", "treeWidth", 1)), + CONFIG.pxInt(pOptions.getInt("GuiBuildSettings", "filterWidth", 1)) + ]) self.outerBox = QHBoxLayout() self.outerBox.addWidget(self.mainSplit)