SourceEditor

评分2星，满分5星

由 Firefox 用户 f7b703 发表于 March 12, 2013 · 永久链接

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.