… | |
… | |
1007 | #endif |
1007 | #endif |
1008 | refresh_count, |
1008 | refresh_count, |
1009 | last_bot, /* scrollbar last bottom position */ |
1009 | last_bot, /* scrollbar last bottom position */ |
1010 | last_top, /* scrollbar last top position */ |
1010 | last_top, /* scrollbar last top position */ |
1011 | last_state, /* scrollbar last state */ |
1011 | last_state, /* scrollbar last state */ |
1012 | scrollbar_len, |
|
|
1013 | window_vt_x, |
1012 | window_vt_x, |
1014 | window_vt_y, |
1013 | window_vt_y, |
1015 | window_sb_x, |
1014 | window_sb_x, |
1016 | mouse_row, |
1015 | mouse_row, |
1017 | mouse_col, |
1016 | mouse_col, |