Make sure context menus are deleted after use

2023-11-27 16:30:21 +01:00
parent a0e6f9cf82
commit 93b36406f1
2 changed files with 13 additions and 11 deletions
@@ -1144,6 +1144,7 @@ class GuiDocEditor(QPlainTextEdit):

        # Execute the context menu
        ctxMenu.exec_(self.viewport().mapToGlobal(pos))
+        ctxMenu.deleteLater()

        return