Se mejora el menú de preferencias.
No se guardan los cambios de preferencias. La ventana maximizada flashea el menú, parece ser un problema con OpenJDK y Gnome 3.