Replace all usage of "keybind" -> "hotkey".

Since hotkey was the prevailing term already.
This commit is contained in:
voussoir 2018-08-16 19:45:14 -07:00
parent 1fcacb81fc
commit 1a4a0f8560

View file

@ -43,10 +43,10 @@ function should_prevent_hotkey(event)
} }
} }
hotkeys.show_all_keybinds = hotkeys.show_all_hotkeys =
function show_all_keybinds() function show_all_hotkeys()
{ {
// Display an Alert with a list of all the keybinds. // Display an Alert with a list of all the hotkeys.
var lines = []; var lines = [];
for (var identifier in hotkeys.HOTKEYS) for (var identifier in hotkeys.HOTKEYS)
{ {
@ -57,7 +57,6 @@ function show_all_keybinds()
alert(lines); alert(lines);
} }
window.addEventListener( window.addEventListener(
"keydown", "keydown",
function(event) function(event)
@ -73,4 +72,4 @@ window.addEventListener(
} }
); );
hotkeys.register_hotkey("/", 0, 0, 0, hotkeys.show_all_keybinds, "Show keybinds."); hotkeys.register_hotkey("/", 0, 0, 0, hotkeys.show_all_hotkeys, "Show hotkeys.");