diff options
| -rw-r--r-- | background.js | 8 | ||||
| -rw-r--r-- | manifest.json | 14 |
2 files changed, 20 insertions, 2 deletions
diff --git a/background.js b/background.js index bd2be70..558fb55 100644 --- a/background.js +++ b/background.js @@ -69,3 +69,11 @@ function wildcard_domains (hostname) { return domains; } + + +// Keyboard shortcuts. +browser.commands.onCommand.addListener(function(command) { + if (command === 'reload') { + browser.runtime.reload(); + } +}); diff --git a/manifest.json b/manifest.json index cbc5413..3e231d4 100644 --- a/manifest.json +++ b/manifest.json @@ -25,9 +25,19 @@ }, "permissions": [ - "activeTab", "webNavigation", "http://*/*", "https://*/*" - ] + ], + + "commands": { + "reload": { + "suggested_key": { + "default": "Ctrl+Alt+L", + "mac": "MacCtrl+Alt+L" + }, + + "description": "Reload the extension" + } + } } |