From 27c604abb209540df10a1e1c1af352788c48979e Mon Sep 17 00:00:00 2001 From: fansaien Date: Thu, 20 Dec 2018 13:35:00 -0600 Subject: [PATCH] Added option as alias for alt (#4000) Credit to @fansaien --- modules/system/assets/ui/js/input.hotkey.js | 1 + 1 file changed, 1 insertion(+) diff --git a/modules/system/assets/ui/js/input.hotkey.js b/modules/system/assets/ui/js/input.hotkey.js index 353b85807..bb236e933 100644 --- a/modules/system/assets/ui/js/input.hotkey.js +++ b/modules/system/assets/ui/js/input.hotkey.js @@ -86,6 +86,7 @@ condition.cmd = true break case 'alt': + case 'option': condition.alt = true break }