From 1503d9de411347752fab7313e53d2061fa0186b1 Mon Sep 17 00:00:00 2001 From: Matthias Einwag Date: Tue, 22 Sep 2020 23:41:51 -0700 Subject: Fix tslint --- editors/code/src/main.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'editors/code/src/main.ts') diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 8c1610570..9743115fb 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; -- cgit v1.2.3