diff options
| author | Teddy Wing | 2021-09-09 23:47:56 +0200 | 
|---|---|---|
| committer | Teddy Wing | 2021-09-09 23:47:56 +0200 | 
| commit | 795f5c25ec5e6a517ff9d12ac8a731d4a2881e68 (patch) | |
| tree | 2b8708dc672dfcc9ac70208dd74d57c98c32bfef | |
| parent | 64cc9ba7781b146da1730ab94d0c27a86315c968 (diff) | |
| download | Legibility-795f5c25ec5e6a517ff9d12ac8a731d4a2881e68.tar.bz2 | |
Add a keyboard shortcut to reload the extension
On Firefox, when adding or modifying CSS files, the changes aren't
applied on a page refresh. Instead, they're applied when the extension
is reloaded. Provide a keyboard shortcut to enable quick reloads, rather
than having to open `about:addons` and toggle the extension off and on.
| -rw-r--r-- | background.js | 8 | ||||
| -rw-r--r-- | manifest.json | 13 | 
2 files changed, 20 insertions, 1 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..f561dfb 100644 --- a/manifest.json +++ b/manifest.json @@ -29,5 +29,16 @@  		"webNavigation",  		"http://*/*",  		"https://*/*" -	] +	], + +	"commands": { +		"reload": { +			"suggested_key": { +				"default": "Ctrl+Alt+L", +				"mac": "MacCtrl+Alt+L" +			}, + +			"description": "Reload the extension" +		} +	}  } | 
