kkapsner 914b76c0e8 Do not show hidden settings in search. ...

Fixes #322

2019-02-28 00:16:21 +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

navigator.css

Added navigator protection

2019-02-27 23:49:00 +01:00

navigator.html

Added navigator protection

2019-02-27 23:49:00 +01:00

navigator.js

Added navigator protection

2019-02-27 23:49:00 +01:00

notVisible.svg

Added feature to hide settings.

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

options.css

Do not show hidden settings in search.

2019-02-28 00:16:21 +01:00

options.html

Create search in options page

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

options.js

Added navigator protection

2019-02-27 23:49:00 +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

Added navigator protection

2019-02-27 23:49:00 +01:00

visible.svg

Added feature to hide settings.

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