GNOME Settings GNOME's main interface to configure various aspects of the desktop GNOME's main interface to configure various aspects of the desktop C Felipe Borges felipeborges Matthijs Velsink mvelsink Bastien Nocera hadess Marek Kašík mkasik Carlos Garnacho carlosg