SourceEditor

Wurdearring: 2 fan de 5 stjerren

troch Firefox-brûker f7b703 op March 12, 2013 · permalink

Theoretically, this is a great add-on, and just what I need.

But one big problem: it randomly stops working far too often, at least with firefox 19. And by that I mean that right mouse-->"edit source"--->nothing happens (even though I haven't forgotten to start by clicking the addon button) So until that is fixed, it's practically useless.