Simple program used to tweak advanced GNOME settings
