diff options
Diffstat (limited to 'js/prefs.js')
-rwxr-xr-x | js/prefs.js | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/js/prefs.js b/js/prefs.js index e67d80df4..cfc2d6c52 100755 --- a/js/prefs.js +++ b/js/prefs.js @@ -1,9 +1,9 @@ -var init_params = new Array(); +let init_params = new Array(); -var hotkey_prefix = false; -var hotkey_prefix_pressed = false; +let hotkey_prefix = false; +let hotkey_prefix_pressed = false; -var seq = ""; +let seq = ""; function notify_callback2(transport, sticky) { notify_info(transport.responseText, sticky); |