kkapsner a268ccd6da Reset settings for everybody ...

Fixes #307

2019-01-29 20:03:27 +01:00

..

export.css

Added export and import for settings

2017-11-14 01:07:27 +01:00

export.html

Separated setting containers

2018-09-16 01:22:40 +02: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

made url specific values manageable with "tabing"

2018-10-16 00:11:07 +02:00

options.html

Create search in options page

2018-09-18 13:14:39 +02:00

options.js

Linting

2019-01-24 15:43:20 +01:00

optionsGui.js

added "share persistent randomness between domains"

2018-10-25 13:42:18 +02:00

sanitationRules.js

added "share persistent randomness between domains"

2018-10-25 13:42:18 +02:00

sanitize.css

Added setting sanitation

2018-10-09 08:14:50 +02:00

sanitize.html

Added setting sanitation

2018-10-09 08:14:50 +02:00

sanitize.js

Added setting sanitation

2018-10-09 08:14:50 +02:00

settingsDisplay.js

Reset settings for everybody

2019-01-29 20:03:27 +01:00

visible.svg

Added feature to hide settings.

2018-07-02 00:29:41 +02:00