diff options
| author | mrmr1993 | 2017-08-25 03:12:48 +0100 |
|---|---|---|
| committer | mrmr1993 | 2017-08-25 03:16:12 +0100 |
| commit | fcac8d54eaddddac78acf367004e34dfabce58f1 (patch) | |
| tree | e6d5f90003fda401775286d11c78729007422083 /pages/options.html | |
| parent | 3125664816e427ea19285d3f1e4b85af95548431 (diff) | |
| download | vimium-fcac8d54eaddddac78acf367004e34dfabce58f1.tar.bz2 | |
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.
Diffstat (limited to 'pages/options.html')
0 files changed, 0 insertions, 0 deletions