> Could the original submitter (or anyone else seeing this problem) confirm my workarounds?
I can confirm this. This is actually the workaround suggested in the Gnome bug Ralf linked to earlier: https://bugzilla.gnome.org/show_bug.cgi?id=590474
> Could the original submitter (or anyone else seeing this problem) confirm my workarounds?
I can confirm this. This is actually the workaround suggested in the Gnome bug Ralf linked to earlier: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 590474