diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 20:58:40 +0000 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 20:58:40 +0000 |
| commit | 3e4c252f982637b54719b427ac85ac3701d44abd (patch) | |
| tree | 7b433796d4d3fcb9647e0da0cafe89e5e4d62521 /manifest.json | |
| parent | 0e004bf1a3c154b98a96494dc97ecba58b8162ed (diff) | |
| parent | 3bf972bafeac738301623db6b08bedfd476abeca (diff) | |
Merge #17 `Brand new settings UI to manage whitelist, blacklist and other preferences. `
Diffstat (limited to 'manifest.json')
| -rw-r--r-- | manifest.json | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/manifest.json b/manifest.json index aecf9a8..03778d7 100644 --- a/manifest.json +++ b/manifest.json @@ -2,7 +2,7 @@ "manifest_version": 2, "name": "GNU LibreJS [webExtensions]", "short_name": "LibreJS [experimental]", - "version": "7.16", + "version": "7.17", "author": "various", "description": "Only allows free and/or trivial Javascript to run.", "applications": { @@ -34,7 +34,8 @@ "default_popup": "html/display_panel/content/display-panel.html" }, "options_ui": { - "page": "html/preferences_panel/preferences_panel.html" + "page": "html/preferences_panel/preferences_panel.html", + "open_in_tab": true }, "web_accessible_resources": [ "html/report_page/report.html" |