From 3c6486be6ddca565d259a3c10977e048c0796397 Mon Sep 17 00:00:00 2001
From: Vladimir Fokow <57260995+VladimirFokow@users.noreply.github.com>
Date: Sun, 3 Nov 2024 13:11:03 +0100
Subject: [PATCH] Better error message

---
 src/manimShell.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/manimShell.ts b/src/manimShell.ts
index a29daee8..059fe81e 100644
--- a/src/manimShell.ts
+++ b/src/manimShell.ts
@@ -634,7 +634,7 @@ export class ManimShell {
                     this.resetActiveShell();
                     Window.showErrorMessage(
                         "Manim session could not be started."
-                        + " Have you verified that `manimgl` is installed?");
+                        + " There was a problem running the `manimgl` command.");
                     event.terminal.show();
                     return;
                 }