diff options
| author | Stephen Blott | 2017-08-25 06:36:12 +0100 |
|---|---|---|
| committer | GitHub | 2017-08-25 06:36:12 +0100 |
| commit | 1826e88cf723a74a6b9869b67e96321f32ae76fb (patch) | |
| tree | e6d5f90003fda401775286d11c78729007422083 | |
| parent | 3125664816e427ea19285d3f1e4b85af95548431 (diff) | |
| parent | fcac8d54eaddddac78acf367004e34dfabce58f1 (diff) | |
| download | vimium-1826e88cf723a74a6b9869b67e96321f32ae76fb.tar.bz2 | |
Merge pull request #2614 from mrmr1993/ff-options
Firefox: Use options_ui to declare the options page
| -rw-r--r-- | manifest.json | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/manifest.json b/manifest.json index 8756bfac..c8a847c3 100644 --- a/manifest.json +++ b/manifest.json @@ -21,7 +21,11 @@ "background_scripts/main.js" ] }, - "options_page": "pages/options.html", + "options_ui": { + "page": "pages/options.html", + "chrome_style": false, + "open_in_tab": true + }, "permissions": [ "tabs", "bookmarks", |