SourceEditor

Peringkat 2 dari 5 bintang

oleh Pengguna Firefox f7b703 pada Maret 12, 2013 · tautan permanen

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.