… | |
… | |
297 | saveLines = SAVELINES; |
297 | saveLines = SAVELINES; |
298 | |
298 | |
299 | refresh_type = SLOW_REFRESH; |
299 | refresh_type = SLOW_REFRESH; |
300 | |
300 | |
301 | oldcursor.row = oldcursor.col = -1; |
301 | oldcursor.row = oldcursor.col = -1; |
302 | last_bot = last_state = -1; |
|
|
303 | |
302 | |
304 | set_option (Opt_scrollBar); |
303 | set_option (Opt_scrollBar); |
305 | set_option (Opt_scrollTtyOutput); |
304 | set_option (Opt_scrollTtyOutput); |
306 | set_option (Opt_jumpScroll); |
305 | set_option (Opt_jumpScroll); |
307 | set_option (Opt_skipScroll); |
306 | set_option (Opt_skipScroll); |