Trigger search update on document save

2024-04-11 00:23:38 +02:00
parent ab33312872
commit 6b9c81e8c4
1 changed files with 1 additions and 0 deletions
@@ -497,6 +497,7 @@ class GuiDocEditor(QPlainTextEdit):
            return False

        self.setDocumentChanged(False)
+        self.docTextChanged.emit(self._docHandle, self._lastEdit)

        oldHeader = self._nwItem.mainHeading
        oldCount = SHARED.project.index.getHandleHeaderCount(tHandle)