Merge branch 'main' into dev

2023-11-05 18:54:52 +01:00
parent b0e3cf1a3a 786c1f7d54
commit a2a1e2e6d0
29 changed files with 576 additions and 464 deletions
@@ -339,6 +339,8 @@ class GuiDocEditor(QPlainTextEdit):
            self.clearEditor()
        else:
            self.redrawText()
+            if not self._bigDoc:
+                self.highLight.rehighlight()

        return

@@ -980,7 +982,7 @@ class GuiDocEditor(QPlainTextEdit):
        uCursor = self.textCursor()
        pCursor = self.cursorForPosition(pos)

-        ctxMenu = QMenu()
+        ctxMenu = QMenu(self)

        # Follow
        if self._followTag(cursor=pCursor, loadTag=False):