From 69d0a063f137fabf9d936190272db0f8c9e8703a Mon Sep 17 00:00:00 2001 From: "Veronica K. B. Olsen" <1619840+vkbo@users.noreply.github.com> Date: Tue, 26 May 2020 18:53:37 +0200 Subject: [PATCH] Wrong margin used ... --- nw/gui/elements/doceditor.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nw/gui/elements/doceditor.py b/nw/gui/elements/doceditor.py index 082be79c..f0976786 100644 --- a/nw/gui/elements/doceditor.py +++ b/nw/gui/elements/doceditor.py @@ -337,7 +337,7 @@ class GuiDocEditor(QTextEdit): tB = self.lineWidth() tW = self.width() - 2*tB tH = self.docTitle.height() - tT = tM - tH + tT = self.mainConf.textMargin - tH self.docTitle.setGeometry(tB, tB, tW, tH) self.setViewportMargins(0, tH, 0, 0)