Hi Markus,

> sometimes, there are some minor cosmetic issues (see attached
> screenshot), but unfortunately, I'm not able to reproduce this reliably.

Unfortunately, this has been an issue for several years. It's caused by a
problem in the development system we use to develop the IDE. Over the
years, we tried all kind of workarounds (but without luck). It's much
better now than in V4, V5 and V6, but still there :-(

Friedrich