There is no need to look at this for every painted line, because
the margin can only change when some key is struck.