Reopen terminal if closed

Stefterv · Stefterv · commit 4a6b9d57f6d1 · 2025-05-17T10:41:23.000+02:00
diff --git a/client/src/extension.ts b/client/src/extension.ts
@@ -164,7 +164,7 @@ export async function activate(context: ExtensionContext) {
 		}
 
 		// Create a new terminal
-		if (terminal === undefined) {
+		if (terminal === undefined || terminal.exitStatus) {
 			terminal = window.createTerminal("Sketch");
 		}
 

Original file line number	Diff line number	Diff line change
`@@ -164,7 +164,7 @@ export async function activate(context: ExtensionContext) {`
`164`	`164`	`}`
`165`	`165`
`166`	`166`	`// Create a new terminal`
`167`		`- if (terminal === undefined) {`
	`167`	`+ if (terminal === undefined \|\| terminal.exitStatus) {`
`168`	`168`	`terminal = window.createTerminal("Sketch");`
`169`	`169`	`}`
`170`	`170`