Problem with text scaled with Windows
On Windows in VirtualBox, I had text scaled to 200% (otherwise I could not read it in my high DPI monitor). This results in the first picture. It does not happen if Insel was started from Eclipse (second picture).