… | |
… | |
153 | if (!scrollbar_visible ()) |
153 | if (!scrollbar_visible ()) |
154 | return 0; |
154 | return 0; |
155 | |
155 | |
156 | if (update) |
156 | if (update) |
157 | { |
157 | { |
158 | top = nscrolled - view_start; |
158 | top = nsaved - view_start; |
159 | bot = top + (nrow - 1); |
159 | bot = top + (nrow - 1); |
160 | len = max (nscrolled + (nrow - 1), 1); |
160 | len = max (nsaved + (nrow - 1), 1); |
161 | adj = (((bot - top) * scrollbar_size ()) % len) > 0 ? 1 : 0; |
161 | adj = (((bot - top) * scrollbar_size ()) % len) > 0 ? 1 : 0; |
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 = ((bot - top) * scrollbar_size ()) / len + |
165 | scrollbar_minheight () + adj; |
165 | scrollbar_minheight () + adj; |