| … | |
… | |
| 48 | if (update) |
48 | if (update) |
| 49 | { |
49 | { |
| 50 | if (last_top < scrollBar.top) |
50 | if (last_top < scrollBar.top) |
| 51 | XClearArea (xdisp, scrollBar.win, |
51 | XClearArea (xdisp, scrollBar.win, |
| 52 | sb_shadow, last_top, |
52 | sb_shadow, last_top, |
| 53 | sbwidth + 1, (scrollBar.top - last_top), False); |
53 | sbwidth + 1, scrollBar.top - last_top, False); |
| 54 | |
54 | |
| 55 | if (scrollBar.bot < last_bot) |
55 | if (scrollBar.bot < last_bot) |
| 56 | XClearArea (xdisp, scrollBar.win, |
56 | XClearArea (xdisp, scrollBar.win, |
| 57 | sb_shadow, scrollBar.bot, |
57 | sb_shadow, scrollBar.bot, |
| 58 | sbwidth + 1, (last_bot - scrollBar.bot), False); |
58 | sbwidth + 1, last_bot - scrollBar.bot, False); |
| 59 | } |
59 | } |
| 60 | else |
60 | else |
| 61 | XClearWindow (xdisp, scrollBar.win); |
61 | XClearWindow (xdisp, scrollBar.win); |
| 62 | |
62 | |
| 63 | /* scrollbar slider */ |
63 | /* scrollbar slider */ |
