Switch to Web Extensions

[nt1m]

See https://blog.mozilla.org/addons/2015/08/21/the-future-of-developing-firefox-add-ons/ .

Here are the main obstacles :

• DevTools Editor component doesn't work with unprivileged code (that's the main reason I switched from a Jetpack add-on to a privileged chrome add-on)
• Same for theme-switching script
• Lack of a DevTools add-on API with Web Extensions (there is one for jetpack though)
• No synced storage support yet for Web Extensions

[nt1m]

Since the add-on is already using HTML for it's UI and not abusing of XPCOM, the switch will be pretty easy once the obstacles are cleared.

[yfdyh000]

Any news?

[nt1m]

@yfdyh000 I had a WIP that simply adds a simple devtools panel: https://github.com/nt1m/devtools-prototyper/tree/webextension

This add-on is lower priority than VivaldiFox, so it might not get attention right away.