Change the method the document is rehighlighted. This is significantly faster

2019-11-19 21:49:11 +01:00
parent 2758c587af
commit eb68f3efc0
4 changed files with 33 additions and 5 deletions
@@ -264,6 +264,7 @@ class GuiConfigEditGeneral(QWidget):
        guiDark         = self.guiDarkIcons.isChecked()
        spellTool       = self.spellToolList.currentData()
        spellLanguage   = self.spellLangList.currentData()
+        bigDocLimit     = self.spellBigDoc.value()
        autoSaveDoc     = self.autoSaveDoc.value()
        autoSaveProj    = self.autoSaveProj.value()
        backupPath      = self.projBackupPath.text()
@@ -278,6 +279,7 @@ class GuiConfigEditGeneral(QWidget):
        self.mainConf.guiDark         = guiDark
        self.mainConf.spellTool       = spellTool
        self.mainConf.spellLanguage   = spellLanguage
+        self.mainConf.bigDocLimit     = bigDocLimit
        self.mainConf.autoSaveDoc     = autoSaveDoc
        self.mainConf.autoSaveProj    = autoSaveProj
        self.mainConf.backupPath      = backupPath