El Editor de configuración se puede usar para cambiar las opciones de configuración que usan las aplicaciones y que pueden no estar disponibles a través de los diálogos de Preferencias

Versiones disponibles:

Los mismos documentos, formateados como un solo archivo HTML