Eclipse button size

[Maik Jablonski]

Jochen Skulj wrote:
> All push buttons within the Eclipse workbench have the wrong size. There 
> height is not correct, so that you can hardly read the labels. All other 
> controls are displayed correctly. I changed the dialog font in Eclipse, 
> but that didn't solve the problem.

Problem is "something like a bug" in the "Humanity"-Theme for Gnome. 
I've switched to a Gnome-Default-Theme, which makes Eclipse-Buttons 
happy again:

Computer -> Desktop Preferences -> Themes -> Industrial (e.g.)

Cheers, Maik