Merge branch 'dev' into project_settings_settings

2020-06-19 23:19:47 +02:00
parent 5a373f1cda f2e1be38cd
commit 14ae67c94c
2 changed files with 22 additions and 10 deletions
@@ -529,6 +529,8 @@ class GuiDocViewHeader(QWidget):
    def _refreshDocument(self):
        """Reload the content of the document.
        """
+        if self.docViewer.theHandle == self.theParent.docEditor.theHandle:
+            self.theParent.saveDocument()
        self.docViewer.reloadText()
        return