kkapsner fd7c4fabbd Added protection for history.length ... As requested by #231.		2018-08-27 00:30:48 +02:00
..
export.css	Added export and import for settings	2017-11-14 01:07:27 +01:00
export.html	Added export and import for settings	2017-11-14 01:07:27 +01:00
export.js	Added export and import for settings	2017-11-14 01:07:27 +01:00
notVisible.svg	Added feature to hide settings.	2018-07-02 00:29:41 +02:00
options.css	Fix vertical position of "don't..."-checkbox.	2018-08-19 00:23:02 +02:00
options.html	Centralized settings management	2017-11-07 00:36:44 +01:00
options.js	Added option "Don't show again on update." for options page.	2018-08-19 00:13:43 +02:00
optionsGui.js	Added feature to hide settings.	2018-07-02 00:29:41 +02:00
settingsDisplay.js	Added protection for history.length	2018-08-27 00:30:48 +02:00
visible.svg	Added feature to hide settings.	2018-07-02 00:29:41 +02:00