diff options
Diffstat (limited to 'javascript/ui_settings_hints.js')
| -rw-r--r-- | javascript/ui_settings_hints.js | 6 |
1 files changed, 3 insertions, 3 deletions
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); |