Also save first if pressing the relaod button from the doc viewer header bar

2020-06-19 23:01:22 +02:00
parent b19c106b45
commit 747ff63a92
1 changed files with 2 additions and 0 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