-
Benno Schulenberg authored
When just scrolling and the cursor does not need to change position (that is: it is not on the first or last row of the edit window), then edit_scroll() has handled everything and there is no need to additionally redraw anything or update 'placewewant'.
93318b97