… | |
… | |
149 | if (update) |
149 | if (update) |
150 | { |
150 | { |
151 | top = view_start - top_row; |
151 | top = view_start - top_row; |
152 | bot = top + (nrow - 1); |
152 | bot = top + (nrow - 1); |
153 | len = max (nrow - 1 - top_row, 1); |
153 | len = max (nrow - 1 - top_row, 1); |
154 | adj = (((bot - top) * scrollbar_size ()) % len) > 0 ? 1 : 0; |
154 | adj = (((bot - top) * scrollBar.size ()) % len) > 0 ? 1 : 0; |
155 | |
155 | |
156 | scrollBar.top = (scrollBar.beg + (top * scrollbar_size ()) / len); |
156 | scrollBar.top = (scrollBar.beg + (top * scrollBar.size ()) / len); |
157 | scrollBar.len = ((bot - top) * scrollbar_size ()) / len + |
157 | scrollBar.len = ((bot - top) * scrollBar.size ()) / len + |
158 | scrollbar_minheight () + adj; |
158 | scrollBar.min_height () + adj; |
159 | scrollBar.bot = (scrollBar.top + scrollBar.len); |
159 | scrollBar.bot = (scrollBar.top + scrollBar.len); |
160 | /* no change */ |
160 | /* no change */ |
161 | if (scrollBar.top == scrollBar.last_top |
161 | if (scrollBar.top == scrollBar.last_top |
162 | && scrollBar.bot == scrollBar.last_bot |
162 | && scrollBar.bot == scrollBar.last_bot |
163 | && (scrollBar.state == scrollBar.last_state |
163 | && (scrollBar.state == scrollBar.last_state |