chromEdit

ChromEdit es un editor muy simple de los ficheros del perfil, con el cual los usuarios podrán editar fácilmente los principales ficheros de usuario (userChrome.css, userContent.css, user.js, prefs.js) sin necesitar de abrir la carpeta de perfil. Este programa es muy simple de usar pero los usuarios deberán tener conocimientos de programación para usarlo. Por ello, se recomienda que las personas que lo quieran usar tengan unos mínimos conocimientos de programación y edición de código, ya que el programa no guía al usuarios por la edición de los mismos códigos.

Una vez instalada la extensión, podemos acceder a ella a través del menú Herramientas/Editar ficheros de usuario y, además, podremos añadir también un botón en la barra de herramientas, de manera que podamos acceder a él de una forma más fácil sin tener que buscar entre nuestros programas. Si usamos la extensión en Mozilla Firefox o Mozilla Suite, la extensión nos ofrece además la opción de abrir la ventana de la extensión en una nueva pestaña, por lo que podremos trabajar con ella mucho mejor.