Added alt and meta key handling to hotkeys

This commit is contained in:
Andrew Herron 2013-07-02 22:36:29 +10:00
parent d999bc3eb2
commit c65bd1027a
1 changed files with 6 additions and 0 deletions

View File

@ -848,11 +848,15 @@ function hotkey_handler(e) {
var keycode = false; var keycode = false;
var shift_key = false; var shift_key = false;
var ctrl_key = false; var ctrl_key = false;
var alt_key = false;
var meta_key = false;
var cmdline = $('cmdline'); var cmdline = $('cmdline');
shift_key = e.shiftKey; shift_key = e.shiftKey;
ctrl_key = e.ctrlKey; ctrl_key = e.ctrlKey;
alt_key = e.altKey;
meta_key = e.metaKey;
if (window.event) { if (window.event) {
keycode = window.event.keyCode; keycode = window.event.keyCode;
@ -894,6 +898,8 @@ function hotkey_handler(e) {
// ensure ^*char notation // ensure ^*char notation
if (shift_key) hotkey = "*" + hotkey; if (shift_key) hotkey = "*" + hotkey;
if (ctrl_key) hotkey = "^" + hotkey; if (ctrl_key) hotkey = "^" + hotkey;
if (alt_key) hotkey = "+" + hotkey;
if (meta_key) hotkey = "%" + hotkey;
hotkey = hotkey_prefix ? hotkey_prefix + " " + hotkey : hotkey; hotkey = hotkey_prefix ? hotkey_prefix + " " + hotkey : hotkey;
hotkey_prefix = false; hotkey_prefix = false;