Only update search for documents in current results
This commit is contained in:
@@ -237,7 +237,7 @@ class GuiProjectSearch(QWidget):
|
|||||||
@pyqtSlot(str, float)
|
@pyqtSlot(str, float)
|
||||||
def textChanged(self, tHandle: str, timeStamp: float) -> None:
|
def textChanged(self, tHandle: str, timeStamp: float) -> None:
|
||||||
"""Update search result for a specific document."""
|
"""Update search result for a specific document."""
|
||||||
if timeStamp > self._map.get(tHandle, (0, 0.0))[1]:
|
if (entry := self._map.get(tHandle)) and timeStamp > entry[1]:
|
||||||
start = time()
|
start = time()
|
||||||
results, capped = self._search.searchText(SHARED.mainGui.docEditor.getText())
|
results, capped = self._search.searchText(SHARED.mainGui.docEditor.getText())
|
||||||
self._displayResultSet(SHARED.project.tree[tHandle], results, capped)
|
self._displayResultSet(SHARED.project.tree[tHandle], results, capped)
|
||||||
|
|||||||
Reference in New Issue
Block a user