Tiene rato que no uso Gnome, pero recuerdo que si tenia muchas herramientas de configuracion como Gconf y era un editor de archivos XML.

Actualizacion: Ya le pregunte a la IA y vi que hay una base de datos binaria. Pero se puede editar via la linea de comando igual usando el comando dconf.