fix visible formatting in prompt durig animated exec #938

jcubic · Apr 29, 2024 · 655a296 · 655a296
1 parent 5f2b77b
commit 655a296
Show file tree

Hide file tree

Showing 7 changed files with 13 additions and 9 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -3,6 +3,7 @@
 * allow to use class and other attributes in style XML tags (like `<bold/>` or `<glow/>`)
 ### Bugfix
 * fix alt image attribute
+* fix visible formatting in prompt durig animated exec [#938](https://github.com/jcubic/jquery.terminal/issues/938)
 
 ## 2.40.6
 ### Bugfix

diff --git a/js/jquery.terminal-2.40.6.js b/js/jquery.terminal-2.40.6.js
@@ -41,7 +41,7 @@
  *
  * broken image by Sophia Bai from the Noun Project (CC-BY)
  *
- * Date: Mon, 29 Apr 2024 13:06:58 +0000
+ * Date: Mon, 29 Apr 2024 13:29:38 +0000
  */
 /* global define, Map, BigInt */
 /* eslint-disable */
@@ -5312,7 +5312,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Mon, 29 Apr 2024 13:06:58 +0000',
+        date: 'Mon, 29 Apr 2024 13:29:38 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -9328,6 +9328,7 @@
                 self.set_prompt(prompt);
                 with_prompt(prompt, function(prompt) {
                     var command = mask_command(message);
+                    prompt = $.terminal.apply_formatters(prompt, {prompt: true});
                     command = $.terminal.apply_formatters(command, {command: true});
                     var output = prompt + command;
                     options = $.extend({}, options, {

diff --git a/js/jquery.terminal-2.40.6.min.js b/js/jquery.terminal-2.40.6.min.js
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -9328,6 +9328,7 @@
                 self.set_prompt(prompt);
                 with_prompt(prompt, function(prompt) {
                     var command = mask_command(message);
+                    prompt = $.terminal.apply_formatters(prompt, {prompt: true});
                     command = $.terminal.apply_formatters(command, {command: true});
                     var output = prompt + command;
                     options = $.extend({}, options, {

diff --git a/js/jquery.terminal.js b/js/jquery.terminal.js
@@ -41,7 +41,7 @@
  *
  * broken image by Sophia Bai from the Noun Project (CC-BY)
  *
- * Date: Mon, 29 Apr 2024 13:06:58 +0000
+ * Date: Mon, 29 Apr 2024 13:29:38 +0000
  */
 /* global define, Map, BigInt */
 /* eslint-disable */
@@ -5312,7 +5312,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Mon, 29 Apr 2024 13:06:58 +0000',
+        date: 'Mon, 29 Apr 2024 13:29:38 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -9328,6 +9328,7 @@
                 self.set_prompt(prompt);
                 with_prompt(prompt, function(prompt) {
                     var command = mask_command(message);
+                    prompt = $.terminal.apply_formatters(prompt, {prompt: true});
                     command = $.terminal.apply_formatters(command, {command: true});
                     var output = prompt + command;
                     options = $.extend({}, options, {

diff --git a/js/jquery.terminal.min.js b/js/jquery.terminal.min.js
diff --git a/js/jquery.terminal.min.js.map b/js/jquery.terminal.min.js.map