stylus/options
2017-04-18 12:46:28 +03:00
..
index.css OptionsUI: add 2 global options + simplify 2017-04-18 12:46:25 +03:00
index.html OptionsUI: add 2 global options + simplify 2017-04-18 12:46:25 +03:00
index.js Restore sync for popupWidth; mirror all prefs in localStorage; 2017-04-18 12:46:28 +03:00