fix lint error #892

jcubic · Jul 29, 2023 · a9b0298 · a9b0298
1 parent 42a081e
commit a9b0298
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 12 deletions.
diff --git a/js/jquery.terminal-2.36.0.js b/js/jquery.terminal-2.36.0.js
@@ -41,7 +41,7 @@
  *
  * broken image by Sophia Bai from the Noun Project (CC-BY)
  *
- * Date: Sat, 29 Jul 2023 13:06:55 +0000
+ * Date: Sat, 29 Jul 2023 13:09:32 +0000
  */
 /* global define, Map */
 /* eslint-disable */
@@ -5278,7 +5278,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Sat, 29 Jul 2023 13:06:55 +0000',
+        date: 'Sat, 29 Jul 2023 13:09:32 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -12277,7 +12277,7 @@
             }
             // wait for custom font to load #892
             if (document.fonts && document.fonts.ready) {
-                 document.fonts.ready.then(command_queue.resolve);
+                document.fonts.ready.then(command_queue.resolve);
             } else {
                 command_queue.resolve();
             }

diff --git a/js/jquery.terminal-2.36.0.min.js b/js/jquery.terminal-2.36.0.min.js
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -12277,7 +12277,7 @@
             }
             // wait for custom font to load #892
             if (document.fonts && document.fonts.ready) {
-                 document.fonts.ready.then(command_queue.resolve);
+                document.fonts.ready.then(command_queue.resolve);
             } else {
                 command_queue.resolve();
             }

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, 29 Jul 2023 13:06:55 +0000
+ * Date: Sat, 29 Jul 2023 13:09:32 +0000
  */
 /* global define, Map */
 /* eslint-disable */
@@ -5278,7 +5278,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Sat, 29 Jul 2023 13:06:55 +0000',
+        date: 'Sat, 29 Jul 2023 13:09:32 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -12277,7 +12277,7 @@
             }
             // wait for custom font to load #892
             if (document.fonts && document.fonts.ready) {
-                 document.fonts.ready.then(command_queue.resolve);
+                document.fonts.ready.then(command_queue.resolve);
             } else {
                 command_queue.resolve();
             }

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