Zooming in causes part of line numbers to be cut off

[jesseli2002]

If you zoom in, the point where the screen zooms from is offset enough to cause the line numbers to be cut off. Typing anything resets the margin.

For maximum effect: zoom out, reset the margin by typing something, and zoom in.

It's not a very important issue, but an issue nonetheless.