jcubic
diff --git a/‎js/jquery.terminal-2.37.2.js
+3-3 b/‎js/jquery.terminal-2.37.2.js
+3-3
diff --git a/‎js/jquery.terminal-2.37.2.min.js
+2-2 b/‎js/jquery.terminal-2.37.2.min.js
+2-2
diff --git a/‎js/jquery.terminal-src.js
+1-1 b/‎js/jquery.terminal-src.js
+1-1
diff --git a/‎js/jquery.terminal.js
+3-3 b/‎js/jquery.terminal.js
+3-3
diff --git a/‎js/jquery.terminal.min.js
+2-2 b/‎js/jquery.terminal.min.js
+2-2
diff --git a/‎js/jquery.terminal.min.js.map
+1-1 b/‎js/jquery.terminal.min.js.map
+1-1
@@ -41,7 +41,7 @@
  *
  * broken image by Sophia Bai from the Noun Project (CC-BY)
  *
- * Date: Fri, 20 Oct 2023 10:39:08 +0000
+ * Date: Fri, 20 Oct 2023 10:59:11 +0000
  */
 /* global define, Map */
 /* eslint-disable */
@@ -5278,7 +5278,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Fri, 20 Oct 2023 10:39:08 +0000',
+        date: 'Fri, 20 Oct 2023 10:59:11 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -8761,7 +8761,7 @@
             if (is_function(prompt)) {
                 prompt = context_callback_proxy(prompt);
             }
-            var is_dynamic_prompt = is_function(interpreter.prompt)
+            var is_dynamic_prompt = is_function(interpreter.prompt);
             if (prompt !== command_line.prompt() || is_dynamic_prompt) {
                 if (is_dynamic_prompt) {
                     // prevent flicker of old prompt until async prompt finishes
 
@@ -8761,7 +8761,7 @@
             if (is_function(prompt)) {
                 prompt = context_callback_proxy(prompt);
             }
-            var is_dynamic_prompt = is_function(interpreter.prompt)
+            var is_dynamic_prompt = is_function(interpreter.prompt);
             if (prompt !== command_line.prompt() || is_dynamic_prompt) {
                 if (is_dynamic_prompt) {
                     // prevent flicker of old prompt until async prompt finishes
 
@@ -41,7 +41,7 @@
  *
  * broken image by Sophia Bai from the Noun Project (CC-BY)
  *
- * Date: Fri, 20 Oct 2023 10:39:08 +0000
+ * Date: Fri, 20 Oct 2023 10:59:11 +0000
  */
 /* global define, Map */
 /* eslint-disable */
@@ -5278,7 +5278,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Fri, 20 Oct 2023 10:39:08 +0000',
+        date: 'Fri, 20 Oct 2023 10:59:11 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -8761,7 +8761,7 @@
             if (is_function(prompt)) {
                 prompt = context_callback_proxy(prompt);
             }
-            var is_dynamic_prompt = is_function(interpreter.prompt)
+            var is_dynamic_prompt = is_function(interpreter.prompt);
             if (prompt !== command_line.prompt() || is_dynamic_prompt) {
                 if (is_dynamic_prompt) {
                     // prevent flicker of old prompt until async prompt finishes
Original file line number	Diff line number	Diff line change
`@@ -8761,7 +8761,7 @@`
`8761`	`8761`	`if (is_function(prompt)) {`
`8762`	`8762`	`prompt = context_callback_proxy(prompt);`
`8763`	`8763`	`}`
`8764`		`- var is_dynamic_prompt = is_function(interpreter.prompt)`
	`8764`	`+ var is_dynamic_prompt = is_function(interpreter.prompt);`
`8765`	`8765`	`if (prompt !== command_line.prompt() \|\| is_dynamic_prompt) {`
`8766`	`8766`	`if (is_dynamic_prompt) {`
`8767`	`8767`	`// prevent flicker of old prompt until async prompt finishes`