Modified minimum scroll-bar thumb size.

This commit is contained in:
David Capello 2010-06-25 00:31:40 -03:00
parent c18e7d44b2
commit 6351aa1db5

View File

@ -655,7 +655,7 @@ static void scrollbar_info(JWidget widget, int *_pos, int *_len,
}
else {
len = bar_size - (max-viewport_size);
len = MID(BAR_SIZE-border_width, len, bar_size);
len = MID(BAR_SIZE*2-border_width, len, bar_size);
pos = (bar_size-len) * scroll / (max-viewport_size);
pos = MID(0, pos, bar_size-len);
}