Fix tslint

diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts
index 8c1610570631b55b2fc58d6c4d556fb88428693e..9743115fbaf70dfcfdbb838cafeac663b0cd4fa5 100644 (file)
--- a/editors/code/src/main.ts
+++ b/editors/code/src/main.ts
@@ -344,7 +344,7 @@ async function performDownloadWithRetryDialog<T>(downloadFunc: () => Promise<T>,
         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<T>(downloadFunc: () => Promise<T>,
             }, {
                 title: "Dismiss",
             });
-    
+
             if (selected?.updateToken) {
                 await queryForGithubToken(state);
                 continue;