diff options
Diffstat (limited to 'extension/src/activation/environmentSetup.ts')
-rw-r--r-- | extension/src/activation/environmentSetup.ts | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts index 5a9345a6..c8998bee 100644 --- a/extension/src/activation/environmentSetup.ts +++ b/extension/src/activation/environmentSetup.ts @@ -53,7 +53,16 @@ async function retryThenFail( } } finally { console.log("After retries, failed to set up Continue extension", msg); - vscode.window.showErrorMessage(msg); + vscode.window + .showErrorMessage(msg, "View Logs", "Retry") + .then((selection) => { + if (selection === "View Logs") { + vscode.commands.executeCommand("continue.viewLogs"); + } else if (selection === "Retry") { + // Reload VS Code window + vscode.commands.executeCommand("workbench.action.reloadWindow"); + } + }); } throw e; |