}
}
} */
+
+function hotkey_prefix_timeout() {
+ try {
+
+ var date = new Date();
+ var ts = Math.round(date.getTime() / 1000);
+
+ if (hotkey_prefix_pressed && ts - hotkey_prefix_pressed >= 5) {
+ debug("hotkey_prefix seems to be stuck, aborting");
+ hotkey_prefix_pressed = false;
+ hotkey_prefix = false;
+ Element.hide('cmdline');
+ }
+
+ setTimeout("hotkey_prefix_timeout()", 1000);
+
+ } catch (e) {
+ exception_error("hotkey_prefix_timeout", e);
+ }
+}
+
+
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;
loading_set_progress(60);
+ setTimeout("hotkey_prefix_timeout()", 5*1000);
+
} catch (e) {
exception_error("init_second_stage", e);
}
var keycode;
var shift_key = false;
+ var cmdline = $('cmdline');
+
try {
shift_key = e.shiftKey;
} catch (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;
}
/* Global hotkeys */
+ Element.hide(cmdline);
+
if (!hotkey_prefix) {
if (keycode == 68 && shift_key) { // d
<div id="notify" class="notify"><span id="notify_body"> </span></div>
<div id="infoBoxShadow"><div id="infoBox">BAH</div></div>
+<div id="cmdline" style="display : none"></div>
+
<div id="errorBoxShadow" style="display : none">
<div id="errorBox">
<div id="xebTitle">Fatal Exception</div><div id="xebContent"> </div>
color : black;
}
+div#cmdline {
+ position : absolute;
+ left : 5px;
+ bottom : 5px;
+ font-size : 11px;
+ color : gray;
+ font-weight : bold;
+ background-color : white;
+ border : 1px solid #88b0f0;
+ padding : 3px 5px 3px 5px;
+ z-index : 5;
+}
f.viewfeed(feed, subop);
}
-function hotkey_prefix_timeout() {
- try {
-
- var date = new Date();
- var ts = Math.round(date.getTime() / 1000);
-
- if (hotkey_prefix_pressed && ts - hotkey_prefix_pressed >= 5) {
- debug("hotkey_prefix seems to be stuck, aborting");
- hotkey_prefix_pressed = false;
- hotkey_prefix = false;
- }
-
- setTimeout("hotkey_prefix_timeout()", 10);
-
- } catch (e) {
- exception_error("hotkey_prefix_timeout", e);
- }
-}
-
function timeout() {
if (getInitParam("bw_limit") == "1") return;
var keycode;
var shift_key = false;
+ var cmdline = $('cmdline');
var feedlist = $('feedList');
try {
hotkey_prefix = keycode;
hotkey_prefix_pressed = ts;
+
+ cmdline.innerHTML = keychar;
+ Element.show(cmdline);
+
debug("KP: PREFIX=" + keycode + " CHAR=" + keychar + " TS=" + ts);
return true;
}
/* Global hotkeys */
+ Element.hide(cmdline);
+
if (!hotkey_prefix) {
if (keycode == 68 && shift_key) { // d
<div id="infoBoxShadow" style="display : none"><div id="infoBox"> </div></div>
+<div id="cmdline" style="display : none"></div>
+
<div id="errorBoxShadow" style="display : none">
<div id="errorBox">
<div id="xebTitle">Fatal Exception</div><div id="xebContent"> </div>