| 12345678910111213141516171819202122 |
- /* global prefs */
- 'use strict';
- /*
- Registers hotkeys in FF
- */
- (() => {
- const hotkeyPrefs = prefs.knownKeys.filter(k => k.startsWith('hotkey.'));
- prefs.subscribe(hotkeyPrefs, updateHotkey, {runNow: true});
- async function updateHotkey(name, value) {
- try {
- name = name.split('.')[1];
- if (value.trim()) {
- await browser.commands.update({name, shortcut: value});
- } else {
- await browser.commands.reset(name);
- }
- } catch (e) {}
- }
- })();
|