blob: 3df88c5b89d119836b18ffca48eeab546de983f7 [file] [log] [blame]
avm99963cbea3142019-03-28 00:48:15 +01001<!DOCTYPE html>
2<html>
3 <head>
4 <meta charset="utf-8">
5 <title>Options</title>
avm999636d9c5fe2019-06-04 00:35:53 +02006 <link rel="stylesheet" href="options.css">
avm99963cbea3142019-03-28 00:48:15 +01007 </head>
8 <body>
avm99963122dc9b2019-03-30 18:44:18 +01009 <p>
avm999636d9c5fe2019-06-04 00:35:53 +020010 <input type="checkbox" id="thread"> <label for="thread" data-i18n="thread"></label><br>
11 <input type="checkbox" id="threadall"> <label for="threadall" data-i18n="threadall"></label>
avm99963122dc9b2019-03-30 18:44:18 +010012 </p>
avm99963a3d1ef32019-03-30 23:33:29 +010013 <h4 data-i18n="enhancements"></h4>
avm99963122dc9b2019-03-30 18:44:18 +010014 <p>
avm99963a3d1ef32019-03-30 23:33:29 +010015 <input type="checkbox" id="fixedtoolbar"> <label for="fixedtoolbar" data-i18n="fixedtoolbar"></label><br>
avm999638e030612020-08-20 02:54:17 +020016 <input type="checkbox" id="redirect"> <label for="redirect" data-i18n="redirect"></label> <span class="experimental-label" data-i18n="experimental_label"></span><br>
avm999636d9c5fe2019-06-04 00:35:53 +020017 <input type="checkbox" id="history"> <label for="history" data-i18n="history"></label><br>
avm999638e030612020-08-20 02:54:17 +020018 <input type="checkbox" id="loaddrafts"> <label for="loaddrafts" data-i18n="loaddrafts"></label> <span class="experimental-label" data-i18n="experimental_label"></span><br>
avm99963ae6a26d2020-04-12 14:03:51 +020019 <input type="checkbox" id="increasecontrast"> <label for="increasecontrast" data-i18n="increasecontrast"></label><br>
avm999630f9503f2020-07-27 13:56:52 +020020 <input type="checkbox" id="stickysidebarheaders"> <label for="stickysidebarheaders" data-i18n="stickysidebarheaders"></label><br>
avm99963122dc9b2019-03-30 18:44:18 +010021 </p>
avm999638e030612020-08-20 02:54:17 +020022 <p class="actions"><button id="save" data-i18n="save"></button></p>
23 <div id="save-indicator"></div>
avm99963cbea3142019-03-28 00:48:15 +010024 <script src="options.js"></script>
25 </body>
26</html>