… | |
… | |
159 | adj = (((bot - top) * scrollbar_size ()) % len) > 0 ? 1 : 0; |
159 | adj = (((bot - top) * scrollbar_size ()) % len) > 0 ? 1 : 0; |
160 | |
160 | |
161 | scrollBar.top = (scrollBar.beg + (top * scrollbar_size ()) / len); |
161 | scrollBar.top = (scrollBar.beg + (top * scrollbar_size ()) / len); |
162 | scrollBar.len = ((bot - top) * scrollbar_size ()) / len + |
162 | scrollBar.len = ((bot - top) * scrollbar_size ()) / len + |
163 | scrollbar_minheight () + adj; |
163 | scrollbar_minheight () + adj; |
164 | scrollBar.bot = (scrollBar.top + ScrollBar.len); |
164 | scrollBar.bot = (scrollBar.top + scrollBar.len); |
165 | /* no change */ |
165 | /* no change */ |
166 | if (scrollBar.top == scrollBar.last_top |
166 | if (scrollBar.top == scrollBar.last_top |
167 | && scrollBar.bot == scrollBar.last_bot |
167 | && scrollBar.bot == scrollBar.last_bot |
168 | && (scrollBar.state == scrollBar.last_state || !scrollbar_isUpDn ())) |
168 | && (scrollBar.state == scrollBar.last_state || !scrollbar_isUpDn ())) |
169 | return 0; |
169 | return 0; |