From 1a4a0f856025add0dd1900ba1a29c72b2d3f3693 Mon Sep 17 00:00:00 2001 From: Ethan Dalool Date: Thu, 16 Aug 2018 19:45:14 -0700 Subject: [PATCH] Replace all usage of "keybind" -> "hotkey". Since hotkey was the prevailing term already. --- frontends/etiquette_flask/static/js/hotkeys.js | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/frontends/etiquette_flask/static/js/hotkeys.js b/frontends/etiquette_flask/static/js/hotkeys.js index 241944c..aa39a6a 100644 --- a/frontends/etiquette_flask/static/js/hotkeys.js +++ b/frontends/etiquette_flask/static/js/hotkeys.js @@ -43,10 +43,10 @@ function should_prevent_hotkey(event) } } -hotkeys.show_all_keybinds = -function show_all_keybinds() +hotkeys.show_all_hotkeys = +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 = []; for (var identifier in hotkeys.HOTKEYS) { @@ -57,7 +57,6 @@ function show_all_keybinds() alert(lines); } - window.addEventListener( "keydown", 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.");