| … | |
… | |
| 985 | int start_row = row; |
985 | int start_row = row; |
| 986 | line_t *l; |
986 | line_t *l; |
| 987 | |
987 | |
| 988 | do |
988 | do |
| 989 | { |
989 | { |
| 990 | l = &ROW (row++); |
990 | l = &ROW (row); |
| 991 | |
991 | |
| 992 | if (l->f & LINE_FILTERED) |
992 | if (l->f & LINE_FILTERED) |
| 993 | row++; |
993 | row++; |
| 994 | else |
994 | else |
| 995 | { |
995 | { |
| … | |
… | |
| 1573 | |
1573 | |
| 1574 | while (XCheckTypedWindowEvent (disp, vt, ev.xany.type, &ev)) |
1574 | while (XCheckTypedWindowEvent (disp, vt, ev.xany.type, &ev)) |
| 1575 | scr_expose (ev.xexpose.x, ev.xexpose.y, |
1575 | scr_expose (ev.xexpose.x, ev.xexpose.y, |
| 1576 | ev.xexpose.width, ev.xexpose.height, False); |
1576 | ev.xexpose.width, ev.xexpose.height, False); |
| 1577 | |
1577 | |
| 1578 | scr_refresh (refresh_type); |
1578 | want_refresh = 1; |
| 1579 | } |
1579 | } |
| 1580 | else |
1580 | else |
| 1581 | { |
1581 | { |
| 1582 | XEvent unused_event; |
1582 | XEvent unused_event; |
| 1583 | |
1583 | |
| … | |
… | |
| 1710 | &unused_root_x, &unused_root_y, |
1710 | &unused_root_x, &unused_root_y, |
| 1711 | &ev.xbutton.x, &ev.xbutton.y, |
1711 | &ev.xbutton.x, &ev.xbutton.y, |
| 1712 | &unused_mask); |
1712 | &unused_mask); |
| 1713 | scr_move_to (scrollbar_position (ev.xbutton.y) - csrO, |
1713 | scr_move_to (scrollbar_position (ev.xbutton.y) - csrO, |
| 1714 | scrollbar_size ()); |
1714 | scrollbar_size ()); |
| 1715 | scr_refresh (refresh_type); |
1715 | want_refresh = 1; |
| 1716 | refresh_limit = 0; |
1716 | refresh_limit = 0; |
| 1717 | scrollbar_show (1); |
1717 | scrollbar_show (1); |
| 1718 | } |
1718 | } |
| 1719 | break; |
1719 | break; |
| 1720 | } |
1720 | } |
| … | |
… | |
| 2216 | slip_wheel_ev.start (); |
2216 | slip_wheel_ev.start (); |
| 2217 | } |
2217 | } |
| 2218 | else |
2218 | else |
| 2219 | { |
2219 | { |
| 2220 | # endif |
2220 | # endif |
| 2221 | # ifdef JUMP_MOUSE_WHEEL |
|
|
| 2222 | scr_page (v, i); |
2221 | scr_page (v, i); |
| 2223 | scr_refresh (SMOOTH_REFRESH); |
|
|
| 2224 | scrollbar_show (1); |
2222 | scrollbar_show (1); |
| 2225 | # else |
|
|
| 2226 | while (i--) |
|
|
| 2227 | { |
|
|
| 2228 | scr_page (v, 1); |
|
|
| 2229 | scr_refresh (SMOOTH_REFRESH); |
|
|
| 2230 | scrollbar_show (1); |
|
|
| 2231 | } |
|
|
| 2232 | # endif |
|
|
| 2233 | # ifdef MOUSE_SLIP_WHEELING |
2223 | # ifdef MOUSE_SLIP_WHEELING |
| 2234 | } |
2224 | } |
| 2235 | #endif |
2225 | # endif |
| 2236 | } |
2226 | } |
| 2237 | break; |
2227 | break; |
| 2238 | #endif |
2228 | #endif |
| 2239 | } |
2229 | } |
| 2240 | } |
2230 | } |
| … | |
… | |
| 2834 | refresh_limit++; |
2824 | refresh_limit++; |
| 2835 | else |
2825 | else |
| 2836 | { |
2826 | { |
| 2837 | flag = true; |
2827 | flag = true; |
| 2838 | scr_refresh (refresh_type); |
2828 | scr_refresh (refresh_type); |
| 2839 | flush_ev.stop (); |
2829 | want_refresh = 1; |
| 2840 | } |
2830 | } |
| 2841 | } |
2831 | } |
| 2842 | |
2832 | |
| 2843 | } |
2833 | } |
| 2844 | else |
2834 | else |
