Fix bug from merged branch

2023-11-05 21:00:23 +01:00
parent a2a1e2e6d0
commit 654ff3e81d
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()
-            if not self._bigDoc:
-                self.highLight.rehighlight()
+            self._qDocument.syntaxHighlighter.rehighlight()

        return