IDE 1.8.0 Released -- update: 1.8.10

thks Septillion

"@OzOns, yes, have it too. Only the toolbar, menu's and dialogs though, code editor is fine."

I agree (if I change the font size for the editor with a larger one - in preference - ...)

Win7 64bits