From fcac8d54eaddddac78acf367004e34dfabce58f1 Mon Sep 17 00:00:00 2001
From: mrmr1993
Date: Fri, 25 Aug 2017 03:12:48 +0100
Subject: FF: Use options_ui to declare the options page

Firefox doesn't recognise the "options_page" manifest key, and so isn't
showing a preferences button for Vimium-ff. By moving to "options_ui",
we enable it, and still get the same functionality in Chrome.
---
 manifest.json | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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",
-- 
cgit v1.2.3