prevent accidental ctrl_key global

This commit is contained in:
Andrew Herron 2013-07-02 22:29:19 +10:00
parent 776b19536d
commit d999bc3eb2

View file

@ -847,6 +847,7 @@ function hotkey_handler(e) {
var keycode = false; var keycode = false;
var shift_key = false; var shift_key = false;
var ctrl_key = false;
var cmdline = $('cmdline'); var cmdline = $('cmdline');