diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 8c161057063..9743115fbaf 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts @@ -344,7 +344,7 @@ async function performDownloadWithRetryDialog(downloadFunc: () => Promise, try { return await downloadFunc(); } catch (e) { - let selected = await vscode.window.showErrorMessage("Failed perform download: " + e.message, {}, { + const selected = await vscode.window.showErrorMessage("Failed perform download: " + e.message, {}, { title: "Update Github Auth Token", updateToken: true, }, { @@ -353,7 +353,7 @@ async function performDownloadWithRetryDialog(downloadFunc: () => Promise, }, { title: "Dismiss", }); - + if (selected?.updateToken) { await queryForGithubToken(state); continue;