When scrolling up, the cursor would get stuck at certain screen heights,
i.e. the screen would scroll and the cursor would stay at the same line.
When scrolling down, the screen would sometimes jump by one line.
This weird behaviour was caused by an incorrect conversion between
screen lines and cursor proportion.
