fix brackets in prompt that are not formatting #648

jcubic · Feb 25, 2021 · a52aeae · a52aeae
1 parent a6b0ba7
commit a52aeae
Show file tree

Hide file tree

Showing 6 changed files with 15 additions and 15 deletions.
diff --git a/js/jquery.terminal-2.22.0.js b/js/jquery.terminal-2.22.0.js
@@ -41,7 +41,7 @@
  *
  * broken image by Sophia Bai from the Noun Project (CC-BY)
  *
- * Date: Thu, 25 Feb 2021 16:23:40 +0000
+ * Date: Thu, 25 Feb 2021 16:51:45 +0000
  */
 /* global define, Map */
 /* eslint-disable */
@@ -3079,13 +3079,13 @@
                 last_rendered_prompt = prompt;
                 var lines = $.terminal.split_equal(prompt, num_chars).map(function(line) {
                     if (!$.terminal.have_formatting(line)) {
-                        return '[[;;]' + line + ']';
+                        return '[[;;]' + $.terminal.escape_brackets(line) + ']';
                     }
                     return $.terminal.format_split(line).map(function(str) {
                         if ($.terminal.is_formatting(str)) {
                             return str;
                         }
-                        return '[[;;]' + str + ']';
+                        return '[[;;]' + $.terminal.escape_brackets(str) + ']';
                     }).join('');
                 });
                 var options = {
@@ -4770,7 +4770,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Thu, 25 Feb 2021 16:23:40 +0000',
+        date: 'Thu, 25 Feb 2021 16:51:45 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',

diff --git a/js/jquery.terminal-2.22.0.min.js b/js/jquery.terminal-2.22.0.min.js
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -3079,13 +3079,13 @@
                 last_rendered_prompt = prompt;
                 var lines = $.terminal.split_equal(prompt, num_chars).map(function(line) {
                     if (!$.terminal.have_formatting(line)) {
-                        return '[[;;]' + line + ']';
+                        return '[[;;]' + $.terminal.escape_brackets(line) + ']';
                     }
                     return $.terminal.format_split(line).map(function(str) {
                         if ($.terminal.is_formatting(str)) {
                             return str;
                         }
-                        return '[[;;]' + str + ']';
+                        return '[[;;]' + $.terminal.escape_brackets(str) + ']';
                     }).join('');
                 });
                 var 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: Thu, 25 Feb 2021 16:23:40 +0000
+ * Date: Thu, 25 Feb 2021 16:51:45 +0000
  */
 /* global define, Map */
 /* eslint-disable */
@@ -3079,13 +3079,13 @@
                 last_rendered_prompt = prompt;
                 var lines = $.terminal.split_equal(prompt, num_chars).map(function(line) {
                     if (!$.terminal.have_formatting(line)) {
-                        return '[[;;]' + line + ']';
+                        return '[[;;]' + $.terminal.escape_brackets(line) + ']';
                     }
                     return $.terminal.format_split(line).map(function(str) {
                         if ($.terminal.is_formatting(str)) {
                             return str;
                         }
-                        return '[[;;]' + str + ']';
+                        return '[[;;]' + $.terminal.escape_brackets(str) + ']';
                     }).join('');
                 });
                 var options = {
@@ -4770,7 +4770,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Thu, 25 Feb 2021 16:23:40 +0000',
+        date: 'Thu, 25 Feb 2021 16:51:45 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',

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