Re: Hang during theme change on gnome 3

[Paulo Levi]

Hi Pavel, bug is submitted now with a small testcase (which require manual
work i'm afraid), to change the gnome 3 theme (i don't know how to automate
it).

It also appears to happen in any swing app, not just mine - Netbeans has it
for instance.