Oh, now! Moving the mouse did not help. However, when changing the zoom (CTRL+/-) did help.
Sorry, I’m not quite sure what’s going on either.
