display active hotkey prefix on screen

1 files changed, 16 insertions, 0 deletions

diff --git a/prefs.js b/prefs.js
index 7f1f89dfb..820c31eac 100644
--- 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