Replace void with await

norascheuch · norascheuch · commit 5b7124683a93 · 2023-09-28T08:17:38.000Z
diff --git a/extensions/ql-vscode/src/databases/ui/db-panel.ts b/extensions/ql-vscode/src/databases/ui/db-panel.ts
@@ -409,7 +409,7 @@ export class DbPanel extends DisposableObject {
       return;
     }
 
-    void window.withProgress(
+    await window.withProgress(
       {
         location: ProgressLocation.Notification,
         title: "Searching for repositories... This might take a while",

Original file line number	Diff line number	Diff line change
`@@ -409,7 +409,7 @@ export class DbPanel extends DisposableObject {`
`409`	`409`	`return;`
`410`	`410`	`}`
`411`	`411`
`412`		`- void window.withProgress(`
	`412`	`+ await window.withProgress(`
`413`	`413`	`{`
`414`	`414`	`location: ProgressLocation.Notification,`
`415`	`415`	`title: "Searching for repositories... This might take a while",`