Close terminals on reload of window, they don't work across reloads r…

…ight now
usethesource · Oct 27, 2023 · e7dd26c · e7dd26c
1 parent e1439bb
commit e7dd26c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/rascal-vscode-extension/src/RascalExtension.ts b/rascal-vscode-extension/src/RascalExtension.ts
@@ -123,7 +123,8 @@ export class RascalExtension implements vscode.Disposable {
                 iconPath: this.icon,
                 shellPath: await getJavaExecutable(),
                 shellArgs: this.buildShellArgs(compilationPath, serverConfig, ...extraArgs),
-                name: `Rascal Terminal (${projectRoot?.name || "no project"})`,
+                isTransient: false, // right now we don't support transient terminals yet
+                name: `Rascal Terminal (${projectRoot?.name ?? "no project"})`,
             });
 
             terminal.show(false);