Added option as alias for alt (#4000)

Credit to @fansaien
2018-12-20 13:35:00 -06:00 · 2018-12-20 13:35:00 -06:00 · 27c604abb2
parent e6f4e13446
commit 27c604abb2
1 changed files with 1 additions and 0 deletions
--- 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
            }