Leave scroll bar on build tool document, and don't scroll too far past end in doc editor

2020-10-11 21:39:42 +02:00
parent 2990616a5c
commit 9c75ed5b06
2 changed files with 1 additions and 12 deletions
@@ -440,7 +440,7 @@ class GuiDocEditor(QTextEdit):

        if self.mainConf.scrollPastEnd:
            docFrame = self.qDocument.rootFrame().frameFormat()
-            docFrame.setBottomMargin(wH - uM - lM - 4*tB - self.theTheme.fontPixelSize)
+            docFrame.setBottomMargin(wH - uM - lM - 5*self.theTheme.fontPixelSize)
            self.qDocument.rootFrame().setFrameFormat(docFrame)

        return