If you change some setting on the preference page General/Appearance (which comes from Eclipse), you get a UI that is broken – see the attached screenshot.

You can escape this by clicking on some other page in the tree to the left of the preference page, so the workaround is simple when you know it.