Added a number of options to the config gui

2019-06-10 21:55:17 +02:00
parent ca0a756fe5
commit 30f25fcb2b
5 changed files with 147 additions and 12 deletions
@@ -465,6 +465,7 @@ class GuiMain(QMainWindow):
        if dlgConf.exec_() == QDialog.Accepted:
            logger.debug("Applying new preferences")
            self.initMain()
+            self.docEditor.initEditor()
        return True

    def editProjectDialog(self):