Fix issue #137: Manim session could not be started.

Author: BeiChenStanly

src/manimShell.ts

@@ -810,6 +810,8 @@ export class ManimShell {
       async (event: vscode.TerminalShellExecutionEndEvent) => {
         if (this.shellWeTryToSpawnIn === event.terminal) {
           Logger.debug("❌ Tried to spawn a new Manim session, but it failed");
+          if (event.execution.commandLine.value.split(" ")[0] !== "manimgl")
+            return;
           this.eventEmitter.emit(ManimShellEvent.MANIM_NOT_STARTED);
           this.resetActiveShell();
           Window.showErrorMessage(