Refactor how editor document is saved, and always save cursor position

2024-05-02 21:45:50 +02:00
parent 78e194d8c1
commit e75b5e012c
8 changed files with 24 additions and 25 deletions
@@ -259,7 +259,7 @@ class GuiProjectSearch(QWidget):
        if not self._blocked:
            QApplication.setOverrideCursor(QCursor(Qt.CursorShape.WaitCursor))
            start = time()
-            SHARED.mainGui.saveDocument()
+            SHARED.saveDocument()
            self._blocked = True
            self._map = {}
            self.searchResult.clear()