… | |
… | |
953 | /* give proper Scroll behaviour */ |
953 | /* give proper Scroll behaviour */ |
954 | #if defined(MOUSE_WHEEL) && defined(MOUSE_SLIP_WHEELING) |
954 | #if defined(MOUSE_WHEEL) && defined(MOUSE_SLIP_WHEELING) |
955 | mouse_slip_wheel_speed, |
955 | mouse_slip_wheel_speed, |
956 | #endif |
956 | #endif |
957 | refresh_count, |
957 | refresh_count, |
958 | refresh_limit, |
|
|
959 | last_bot, /* scrollbar last bottom position */ |
958 | last_bot, /* scrollbar last bottom position */ |
960 | last_top, /* scrollbar last top position */ |
959 | last_top, /* scrollbar last top position */ |
961 | last_state, /* scrollbar last state */ |
960 | last_state, /* scrollbar last state */ |
962 | scrollbar_len, |
961 | scrollbar_len, |
963 | window_vt_x, |
962 | window_vt_x, |