Merge pull request #2435 from jacobherrington/handle-opt-in-hotkeys

Allow abbreviation for Option in hotkeys

browser/main/lib/ConfigManager.js

@@ -195,6 +195,7 @@ function rewriteHotkey (config) {
   const keys = [...Object.keys(config.hotkey)]
   keys.forEach(key => {
     config.hotkey[key] = config.hotkey[key].replace(/Cmd/g, 'Command')
+    config.hotkey[key] = config.hotkey[key].replace(/Opt/g, 'Alt')
   })
   return config
 }