Merge branch 'dev' into fix_index

2023-11-05 21:08:56 +01:00
parent a5a2b2c68e 654ff3e81d
commit 72e740ccdf
1 changed files with 1 additions and 3 deletions
@@ -338,9 +338,7 @@ class GuiDocEditor(QPlainTextEdit):
        if self._docHandle is None:
            self.clearEditor()
        else:
-            self.redrawText()
+            self._qDocument.syntaxHighlighter.rehighlight()
            if not self._bigDoc:
                self.highLight.rehighlight()
        return