Topic: Estensione per modificare user.js ?

[Geko]

Mi ricordo vagamente di un' estensione che serviva ad editare al volo il file user.js, dubito che sia ancora disponibile ma qualcuno ha un'idea di quale potesse essere?

[Winfox]

Da una breve ricerca ma non l'ho provata
http://webdesigns.ms11.net/chromeditp.html

[Geko]

Sì esatto, mi sa che era proprio questa

Resta da vedere se funge ancora (ma tanto, anche se così fosse verrà comunque segata quando sarà obbligatoria la firma delle estensioni) .

[Iceberg]

L'estensione PrefBar prevede un tasto che consente di modificare i file userChrome.css e userContent.css e vedere attive le modifiche senza dover effettuare un riavvio. Non è previsto il file user.js.