On 01/17/2014 04:07 PM, Richard Henwood
wrote:
Hi Richard! Thanks for testing this! The very first step would be to file bugs on the two issues above against the gnome-shell and gtk+ products in the bug tracker. gnome-shell: https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell gtk: https://bugzilla.gnome.org/enter_bug.cgi?product=gtk%2B - Andreas |