Open Frenzie opened 11 years ago
One possibility is to do something vaguely like https://github.com/lemonsqueeze/scriptweeder in https://github.com/lemonsqueeze/scriptweeder/blob/master/src/settings.js with a backend that abstracts between window.opera.scriptStorage, GM_setValue/GM_getValue, and whatever Chromium/new Opera extensions might use. But first I'll just plug in the good old, proven settings system, which will facilitate future developments.
Added the most important part in 613d24bb48c966717217a01d21da75668fb87cb3 with a little refinement in https://github.com/Frenzie/textarea-backup/commit/da48d694c1cccbab9062be37860bf9f3c529de8a
Few people use the UserJS manager anymore, and even if they do it's annoying to change the config all the time.
There's already a pretty good method in https://github.com/Frenzie/nrc-digitale-editie-fix but it might need some changes for Opera 15+.