From 46f806ac7080655e70f854c63b7b0c044155e241 Mon Sep 17 00:00:00 2001
From: Rodin Aarssen <rodin.aarssen@swat.engineering>
Date: Tue, 9 Sep 2025 17:31:11 +0200
Subject: [PATCH] Rascal REPLs are now transient

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

diff --git a/rascal-vscode-extension/src/RascalExtension.ts b/rascal-vscode-extension/src/RascalExtension.ts
index d5b1eee85..b080374f7 100644
--- a/rascal-vscode-extension/src/RascalExtension.ts
+++ b/rascal-vscode-extension/src/RascalExtension.ts
@@ -153,7 +153,7 @@ export class RascalExtension implements vscode.Disposable {
                     iconPath: this.icon,
                     shellPath: await getJavaExecutable(this.log),
                     shellArgs: this.buildShellArgs(compilationPath, serverConfig),
-                    isTransient: false, // right now we don't support transient terminals yet
+                    isTransient: true, // right now we don't support persistent terminals yet
                     name: `Rascal terminal (${this.getTerminalOrigin(uri, command??"")})`,
                 });