… | |
… | |
156 | if (update) |
156 | if (update) |
157 | { |
157 | { |
158 | int top = view_start - top_row; |
158 | int top = view_start - top_row; |
159 | int bot = top + (nrow - 1); |
159 | int bot = top + (nrow - 1); |
160 | int len = max (nrow - 1 - top_row, 1); |
160 | int len = max (nrow - 1 - top_row, 1); |
161 | int adj = (((bot - top) * scrollBar.size ()) % len) > 0 ? 1 : 0; |
161 | int size = (bot - top) * scrollBar.size (); |
162 | |
162 | |
163 | scrollBar.top = (scrollBar.beg + (top * scrollBar.size ()) / len); |
163 | scrollBar.top = (scrollBar.beg + (top * scrollBar.size ()) / len); |
164 | scrollBar.len = ((bot - top) * scrollBar.size ()) / len + |
164 | scrollBar.len = size / len + scrollBar.min_height () + (size % len > 0); |
165 | scrollBar.min_height () + adj; |
|
|
166 | scrollBar.bot = (scrollBar.top + scrollBar.len); |
165 | scrollBar.bot = (scrollBar.top + scrollBar.len); |
167 | /* no change */ |
166 | /* no change */ |
168 | if (scrollBar.top == scrollBar.last_top |
167 | if (scrollBar.top == scrollBar.last_top |
169 | && scrollBar.bot == scrollBar.last_bot |
168 | && scrollBar.bot == scrollBar.last_bot |
170 | && (scrollBar.state == scrollBar.last_state |
169 | && (scrollBar.state == scrollBar.last_state |