fix typing animation length #721

jcubic · Dec 24, 2021 · 50270b5 · 50270b5
1 parent b8ac7e9
commit 50270b5
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 12 deletions.
diff --git a/js/jquery.terminal-2.30.2.js b/js/jquery.terminal-2.30.2.js
@@ -41,7 +41,7 @@
  *
  * broken image by Sophia Bai from the Noun Project (CC-BY)
  *
- * Date: Fri, 24 Dec 2021 21:35:49 +0000
+ * Date: Fri, 24 Dec 2021 21:38:03 +0000
  */
 /* global define, Map */
 /* eslint-disable */
@@ -5130,7 +5130,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Fri, 24 Dec 2021 21:35:49 +0000',
+        date: 'Fri, 24 Dec 2021 21:38:03 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -8806,7 +8806,7 @@
                 animating = true;
                 var prompt = self.get_prompt();
                 var char_i = 0;
-                var len = $.terminal.length(message);
+                var len = $.terminal.length(formattted);
                 if (message.length > 0) {
                     var new_prompt = '';
                     if (options.prompt) {

diff --git a/js/jquery.terminal-2.30.2.min.js b/js/jquery.terminal-2.30.2.min.js
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -8806,7 +8806,7 @@
                 animating = true;
                 var prompt = self.get_prompt();
                 var char_i = 0;
-                var len = $.terminal.length(message);
+                var len = $.terminal.length(formattted);
                 if (message.length > 0) {
                     var new_prompt = '';
                     if (options.prompt) {

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: Fri, 24 Dec 2021 21:35:49 +0000
+ * Date: Fri, 24 Dec 2021 21:38:03 +0000
  */
 /* global define, Map */
 /* eslint-disable */
@@ -5130,7 +5130,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Fri, 24 Dec 2021 21:35:49 +0000',
+        date: 'Fri, 24 Dec 2021 21:38:03 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -8806,7 +8806,7 @@
                 animating = true;
                 var prompt = self.get_prompt();
                 var char_i = 0;
-                var len = $.terminal.length(message);
+                var len = $.terminal.length(formattted);
                 if (message.length > 0) {
                     var new_prompt = '';
                     if (options.prompt) {

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