Re: gnome 3.8 bug with rolled-up (shaded windows) -- rh bugzilla or gnome bugzilla?