|
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 |
|
options.css
|
Added URL specific settings
|
2017-12-03 23:47:49 +01:00 |
|
options.html
|
Centralized settings management
|
2017-11-07 00:36:44 +01:00 |
|
options.js
|
Created "reset settings" button.
|
2017-11-22 14:14:33 +01:00 |
|
optionsGui.js
|
Added URL specific settings
|
2017-12-03 23:47:49 +01:00 |
|
settingsDisplay.js
|
Created "reset settings" button.
|
2017-11-22 14:14:33 +01:00 |
