Interface to configure various aspects of the GNOME desktop
