Throw error if no folder is opened

2020-03-31 09:05:22 +01:00
parent 6e535915bd
commit a781a58fe2
3 changed files with 9 additions and 4 deletions
--- a/editors/code/src/ctx.ts
+++ b/editors/code/src/ctx.ts
@@ -19,7 +19,7 @@ export class Ctx {
        config: Config,
        extCtx: vscode.ExtensionContext,
        serverPath: string,
-        workspaceFolder: vscode.WorkspaceFolder | null,
+        workspaceFolder: vscode.WorkspaceFolder,
    ): Promise<Ctx> {
        const client = await createClient(config, serverPath, workspaceFolder);
        const res = new Ctx(config, extCtx, client, serverPath);