From 57b75f4a037658c1122aa092d1775ac52036b2cf Mon Sep 17 00:00:00 2001
From: AUTOMATIC <16777216c@gmail.com>
Date: Thu, 18 May 2023 09:59:10 +0300
Subject: eslint related file edits

---
 javascript/ui_settings_hints.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'javascript/ui_settings_hints.js')

diff --git a/javascript/ui_settings_hints.js b/javascript/ui_settings_hints.js
index 0db41b11..e216852b 100644
--- a/javascript/ui_settings_hints.js
+++ b/javascript/ui_settings_hints.js
@@ -1,6 +1,6 @@
 // various hints and extra info for the settings tab
 
-settingsHintsSetup = false;
+var settingsHintsSetup = false;
 
 onOptionsChanged(function() {
     if (settingsHintsSetup) return;
@@ -30,7 +30,7 @@ onOptionsChanged(function() {
             span.parentElement.insertBefore(document.createTextNode('\xa0'), span);
         }
         if (commentAfter) {
-            var comment = document.createElement('DIV');
+            comment = document.createElement('DIV');
             comment.className = 'settings-comment';
             comment.innerHTML = commentAfter;
             span.parentElement.insertBefore(comment, span.nextSibling);
@@ -50,7 +50,7 @@ function settingsHintsShowQuicksettings() {
             td.textContent = obj.name;
             tr.appendChild(td);
 
-            var td = document.createElement('td');
+            td = document.createElement('td');
             td.textContent = obj.label;
             tr.appendChild(td);
 
-- 
cgit v1.2.3