/* Turn the cursor back on for sure. */
curs_set(1);
- /* The screen might have been resized. If it has, reinitialize all
- * the windows based on the new screen dimensions. */
- window_init();
-
if (!WIFEXITED(alt_spell_status) ||
WEXITSTATUS(alt_spell_status) != 0) {
char *altspell_error;
* of lines, and draw new lines on the blank lines left after the
* scrolling. direction is the direction to scroll, either UP or DOWN,
* and nlines is the number of lines to scroll. We change edittop, and
- * assume that current and current_x are up to date. */
+ * assume that current and current_x are up to date. We also assume
+ * that scrollok(edit) is FALSE. */
void edit_scroll(updown direction, int nlines)
{
bool do_redraw = need_vertical_update(0);