From 5a1ff7e7d3cc7124857bcbf8c8702ebf4c254723 Mon Sep 17 00:00:00 2001
From: "Veronica K. B. Olsen" <1619840+vkbo@users.noreply.github.com>
Date: Fri, 8 May 2020 23:02:16 +0200
Subject: [PATCH] Opening a document now seems to reset dynamic margins. Added
 a temporary fix.

---
 nw/gui/elements/doceditor.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nw/gui/elements/doceditor.py b/nw/gui/elements/doceditor.py
index a6d76958..96966ddd 100644
--- a/nw/gui/elements/doceditor.py
+++ b/nw/gui/elements/doceditor.py
@@ -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)