Re: F17 gnome3 coloration