fix lint error

jcubic · Dec 30, 2023 · ee7d921 · ee7d921
1 parent c2f257c
commit ee7d921
Show file tree

Hide file tree

Showing 6 changed files with 9 additions and 12 deletions.
diff --git a/js/jquery.terminal-2.37.2.js b/js/jquery.terminal-2.37.2.js
@@ -41,7 +41,7 @@
  *
  * broken image by Sophia Bai from the Noun Project (CC-BY)
  *
- * Date: Sat, 30 Dec 2023 19:12:31 +0000
+ * Date: Sat, 30 Dec 2023 19:15:48 +0000
  */
 /* global define, Map, BigInt */
 /* eslint-disable */
@@ -5283,7 +5283,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Sat, 30 Dec 2023 19:12:31 +0000',
+        date: 'Sat, 30 Dec 2023 19:15:48 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -9184,7 +9184,6 @@
                         });
                     } else {
                         var chars = $.terminal.partition(formatted, {wrap: false});
-                        var len = $.terminal.length(formatted);
                     }
                     var stop;
                     var interval = setInterval(function() {

diff --git a/js/jquery.terminal-2.37.2.min.js b/js/jquery.terminal-2.37.2.min.js
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -9184,7 +9184,6 @@
                         });
                     } else {
                         var chars = $.terminal.partition(formatted, {wrap: false});
-                        var len = $.terminal.length(formatted);
                     }
                     var stop;
                     var interval = setInterval(function() {

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: Sat, 30 Dec 2023 19:12:31 +0000
+ * Date: Sat, 30 Dec 2023 19:15:48 +0000
  */
 /* global define, Map, BigInt */
 /* eslint-disable */
@@ -5283,7 +5283,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Sat, 30 Dec 2023 19:12:31 +0000',
+        date: 'Sat, 30 Dec 2023 19:15:48 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -9184,7 +9184,6 @@
                         });
                     } else {
                         var chars = $.terminal.partition(formatted, {wrap: false});
-                        var len = $.terminal.length(formatted);
                     }
                     var stop;
                     var interval = setInterval(function() {

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