In the meantime I can confirm that some of the themes in GNOME also solve the issue. Among them is Unity, Simple, Mist, Bluebird and Albatross. For the rest of the them the Shredder GUI is broken.
How can that be? Who can fix that? Matthias -- To UNSUBSCRIBE, email to debian-java-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/l58h9e$p98$1...@ger.gmane.org
