In <http://bugzilla.gnome.org/show_bug.cgi?id=99604> I described a way to fix this problem in Gnome's window listing.
In <http:// bugzilla. gnome.org/ show_bug. cgi?id= 99604> I described a way to fix this problem in Gnome's window listing.