… | … | ||
---|---|---|---|
2765 | if (OPTION (Opt_jumpScroll) && refresh_limit < REFRESH_PERIOD) | 2765 | if (OPTION (Opt_jumpScroll) && refresh_limit < REFRESH_PERIOD) |
2766 | refresh_limit++; | 2766 | refresh_limit++; |
2767 | else | 2767 | else |
2768 | { | 2768 | { |
2769 | flag = true; | 2769 | flag = true; |
2770 | //TODO: due to popular request, implement "skipscroll" option here | ||
2770 | scr_refresh (); | 2771 | scr_refresh (); |
2771 | want_refresh = 1; | 2772 | want_refresh = 1; |
2772 | } | 2773 | } |
2773 | } | 2774 | } |
2774 | 2775 |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |