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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]