17 Commits

Author	SHA1	Message	Date
kkapsner	970de1c093	Created "reset settings" button. ... As mentioned in #151	2017-11-22 14:14:33 +01:00
kkapsner	d531abb2de	Added export and import for settings	2017-11-14 01:07:27 +01:00
kkapsner	b3bb10d334	Cleaned up options page	2017-11-11 23:34:59 +01:00
kkapsner	3cb1974b18	Added clear interval ... Also ensures that the persistent data is loaded correctly in ESR. Fixes #139 and #143	2017-11-08 17:46:41 +01:00
kkapsner	2193313980	Centralized settings management	2017-11-07 00:36:44 +01:00
kkapsner	01c1145e28	Code cleanup.	2017-10-05 19:00:00 +02:00
spodermenpls	8ac4763b71	Update options.js	2017-10-03 19:51:03 +02:00
kkapsner	ef38abe545	Code linting.	2017-10-03 15:35:31 +02:00
kkapsner	f569a48b01	Added logging prefix for option page.	2017-09-29 00:31:00 +02:00
kkapsner	2cdf364334	Fixed logging in options.js	2017-08-07 08:50:09 +02:00
kkapsner	9715eb09d2	Added logging lib with setting to control log level.	2017-07-27 19:14:04 +02:00
kkapsner	2a3abbcec7	Number settings were not stored as numbers but as string when changed.	2017-07-18 16:11:47 +02:00
kkapsner	b39851b289	Release notes could be shown nicer - but it's not supported by fennec.	2017-07-16 00:26:40 +02:00
kkapsner	1eddf48d20	Show only settings that are useful within the given settings set.	2017-07-08 22:43:20 +02:00
kkapsner	8cec88f5f7	Restructuring of main.js.	2017-07-07 08:50:23 +02:00
kkapsner	b6dd2ff011	Fixed: options page did not update and checkboxes were not displayed.	2017-07-02 12:18:20 +02:00
kkapsner	6c3b27e7e4	Added options page for webextension.	2017-06-25 22:11:28 +02:00