|
|
@ -1001,10 +1001,12 @@ function hotkey_handler(e) {
|
|
|
|
|
|
|
|
|
|
|
|
if (keycode == 16) return; // ignore lone shift
|
|
|
|
if (keycode == 16) return; // ignore lone shift
|
|
|
|
|
|
|
|
|
|
|
|
if ((keycode == 70 || keycode == 67 || keycode == 71) && !hotkey_prefix) {
|
|
|
|
if ((keycode == 70 || keycode == 67 || keycode == 71 ||
|
|
|
|
|
|
|
|
keycode == 224 || keycode == 91) && !hotkey_prefix) {
|
|
|
|
|
|
|
|
|
|
|
|
hotkey_prefix = keycode;
|
|
|
|
hotkey_prefix = keycode;
|
|
|
|
debug("KP: PREFIX=" + keycode + " CHAR=" + keychar);
|
|
|
|
debug("KP: PREFIX=" + keycode + " CHAR=" + keychar);
|
|
|
|
return;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
if (Element.visible("hotkey_help_overlay")) {
|
|
|
|
if (Element.visible("hotkey_help_overlay")) {
|
|
|
|