Opening a document now seems to reset dynamic margins. Added a temporary fix.

2020-05-08 23:02:16 +02:00
parent 1c98fbcb81
commit 5a1ff7e7d3
1 changed files with 1 additions and 0 deletions
@@ -257,6 +257,7 @@ class GuiDocEditor(QTextEdit):
        self.setPlainText(theDoc)
        afTime = time()
        logger.debug("Document highlighted in %.3f milliseconds" % (1000*(afTime-bfTime)))
+        self.updateDocMargins()

        if tLine is None:
            self.setCursorPosition(self.nwDocument.theItem.cursorPos)