diff options
author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-05-21 15:52:22 +0200 |
---|---|---|
committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-05-21 15:53:23 +0200 |
commit | 923131ec28f14e255c67eff9d7d17b0d5894062c (patch) | |
tree | 1b9b62a976d237a8dbe3eadc7e721544c512383f | |
parent | 8c2beeea907cb39baac20df198392ae4fdf64029 (diff) |
[HTML5] Fix build after KEY_CTRL rename.
-rw-r--r-- | platform/javascript/dom_keys.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/platform/javascript/dom_keys.inc b/platform/javascript/dom_keys.inc index 7902efafe0..69340ff58c 100644 --- a/platform/javascript/dom_keys.inc +++ b/platform/javascript/dom_keys.inc @@ -159,8 +159,8 @@ int dom_code2godot_scancode(EM_UTF8 const p_code[32], EM_UTF8 const p_key[32], b DOM2GODOT("Backspace", BACKSPACE); DOM2GODOT("CapsLock", CAPSLOCK); DOM2GODOT("ContextMenu", MENU); - DOM2GODOT("ControlLeft", CONTROL); - DOM2GODOT("ControlRight", CONTROL); + DOM2GODOT("ControlLeft", CTRL); + DOM2GODOT("ControlRight", CTRL); DOM2GODOT("Enter", ENTER); DOM2GODOT("MetaLeft", SUPER_L); DOM2GODOT("MetaRight", SUPER_R); |