|
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 header to standalone options page
|
2017-12-24 21:53:26 +01:00 |
|
options.html
|
Centralized settings management
|
2017-11-07 00:36:44 +01:00 |
|
options.js
|
Added header to standalone options page
|
2017-12-24 21:53:26 +01:00 |
|
optionsGui.js
|
Switched from prompt() to inputs.
|
2017-12-08 20:20:42 +01:00 |
|
settingsDisplay.js
|
Added sections to options list
|
2017-12-24 21:52:44 +01:00 |
