diff options
author | Andrew Dolgov <[email protected]> | 2009-10-09 13:13:57 +0400 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2009-10-09 13:13:57 +0400 |
commit | 78935092b540278e388749b7b0620fce62098fc9 (patch) | |
tree | ed0e120b57466ef3639f8df3329628263c715341 /prefs.js | |
parent | 449cc6062ed689345f3d5f2469ef3e71e4b01adc (diff) |
display active hotkey prefix on screen
Diffstat (limited to 'prefs.js')
-rw-r--r-- | prefs.js | 16 |
1 files changed, 16 insertions, 0 deletions
@@ -6,6 +6,7 @@ var init_params = new Array(); var caller_subop = false; var sanity_check_done = false; var hotkey_prefix = false; +var hotkey_prefix_pressed = false; var color_picker_active = false; var selection_disabled = false; @@ -1205,6 +1206,8 @@ function init_second_stage() { loading_set_progress(60); + setTimeout("hotkey_prefix_timeout()", 5*1000); + } catch (e) { exception_error("init_second_stage", e); } @@ -1408,6 +1411,8 @@ function pref_hotkey_handler(e) { var keycode; var shift_key = false; + var cmdline = $('cmdline'); + try { shift_key = e.shiftKey; } catch (e) { @@ -1440,6 +1445,15 @@ function pref_hotkey_handler(e) { if ((keycode == 67 || keycode == 71) && !hotkey_prefix) { hotkey_prefix = keycode; + + var date = new Date(); + var ts = Math.round(date.getTime() / 1000); + + hotkey_prefix_pressed = ts; + + cmdline.innerHTML = keychar; + Element.show(cmdline); + debug("KP: PREFIX=" + keycode + " CHAR=" + keychar); return; } @@ -1456,6 +1470,8 @@ function pref_hotkey_handler(e) { /* Global hotkeys */ + Element.hide(cmdline); + if (!hotkey_prefix) { if (keycode == 68 && shift_key) { // d |