Merge pull request #2131 from github/koesie10/fix-delete-local-query

Fix error while deleting query history item
This commit is contained in:
Koen Vlaswinkel
2023-03-02 14:08:26 +01:00
committed by GitHub

View File

@@ -399,7 +399,7 @@ export class ResultsView extends AbstractWebview<
forceReveal: WebviewReveal,
shouldKeepOldResultsWhileRendering = false,
): Promise<void> {
if (!fullQuery.completedQuery.successful) {
if (!fullQuery.completedQuery?.successful) {
return;
}