From e7dd26cc0ee707a313672f87fc1f89dd3c2c0f68 Mon Sep 17 00:00:00 2001
From: Davy Landman <davy.landman@swat.engineering>
Date: Fri, 27 Oct 2023 16:11:29 +0200
Subject: [PATCH] Close terminals on reload of window, they don't work across
 reloads right now

---
 rascal-vscode-extension/src/RascalExtension.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/rascal-vscode-extension/src/RascalExtension.ts b/rascal-vscode-extension/src/RascalExtension.ts
index 03f44f9cd..25891542a 100644
--- 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);