fix lint + small refactor

jcubic · Apr 20, 2024 · 054d24c · 054d24c
1 parent fbabaee
commit 054d24c
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 13 deletions.
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -6846,12 +6846,11 @@
                 return [];
             }
             // -----------------------------------------------------------------
-            function attrs_to_string(style, attrs, vaid_attrs) {
+            function attrs_to_string(style, attrs, valid_attrs) {
                 if (attrs) {
-                    var keys = filter_attr_names(Object.keys(attrs));
-                    if (keys.length) {
+                    if (valid_attrs.length) {
                         var style_attrs;
-                        var result = keys.map(function(name) {
+                        var result = valid_attrs.map(function(name) {
                             if (attrs[name] === null) {
                                 return '';
                             }

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, 20 Apr 2024 18:36:45 +0000
+ * Date: Sat, 20 Apr 2024 19:14:28 +0000
  */
 /* global define, Map, BigInt */
 /* eslint-disable */
@@ -5308,7 +5308,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Sat, 20 Apr 2024 18:36:45 +0000',
+        date: 'Sat, 20 Apr 2024 19:14:28 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -6846,12 +6846,11 @@
                 return [];
             }
             // -----------------------------------------------------------------
-            function attrs_to_string(style, attrs, vaid_attrs) {
+            function attrs_to_string(style, attrs, valid_attrs) {
                 if (attrs) {
-                    var keys = filter_attr_names(Object.keys(attrs));
-                    if (keys.length) {
+                    if (valid_attrs.length) {
                         var style_attrs;
-                        var result = keys.map(function(name) {
+                        var result = valid_attrs.map(function(name) {
                             if (attrs[name] === null) {
                                 return '';
                             }

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