Thanks, Alberto. The appearance-properties problem actually sounds a bit like bug 208026, but apparently it's a different one. Can you please report a new bug against gnome-control-center?
Thanks, Alberto. The appearance- properties problem actually sounds a bit like bug 208026, but apparently it's a different one. Can you please report a new bug against gnome-control- center?