diff options
| -rw-r--r-- | ext/bg/js/settings/main.js | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/ext/bg/js/settings/main.js b/ext/bg/js/settings/main.js index f775cd57..7fa8e502 100644 --- a/ext/bg/js/settings/main.js +++ b/ext/bg/js/settings/main.js @@ -47,7 +47,7 @@ async function settingsPopulateModifierKeys() {      const {platform: {os}} = await api.getEnvironmentInfo();      const modifierKeys = [          ['none', 'None'], -        DocumentUtil.getModifierKeys(os) +        ...DocumentUtil.getModifierKeys(os)      ];      for (const [value, name] of modifierKeys) {          const option = document.createElement('option'); |