display active hotkey prefix on screen

[tt-rss.git] / prefs.js

diff --git a/prefs.js b/prefs.js
index 7f1f89dfb612507632c3e98b7ac62afec24d1999..820c31eacccb56002873155d490f6cb4c4a20851 100644 (file)
--- a/prefs.js
+++ b/prefs.js
@@ -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