kkapsner df1d59cf52 Added support for pixel fractions ... Pixel fractions can be controlled by CSS. These fractions must not be faked. For #236.		2018-09-05 15:53:01 +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 save/load directly to/from file option	2018-09-02 13:34:20 +02:00
optionsGui.js	Added save/load directly to/from file option	2018-09-02 13:34:20 +02:00
settingsDisplay.js	Added support for pixel fractions	2018-09-05 15:53:01 +02:00
visible.svg	Added feature to hide settings.	2018-07-02 00:29:41 +02:00