Billy Biggs wrote:
This is a bug in Eclipse (well, I'd also argue in GTK+) that appears with some window managers. It is fixed in version 3.2M4 and newer:https://bugs.eclipse.org/bugs/show_bug.cgi?id=100659
Great! Thanks for investigationg this :-) Good work!
Out of curiosity, what window manager are you using?
It's Xfce 4.2.
-Billy
Thanks, Armin _______________________________________________ pkg-java-maintainers mailing list pkg-java-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-java-maintainers
