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
Copyright © 2007, 2008 The GNOME Project.
GNOME and the foot logo are trademarks of the GNOME Foundation.
Hosted documents have their own copyright notices.
Optimised for standards.
Hosted by Red Hat.