9253 |
{ |
{ |
9254 |
int area_width = FRAME_SCROLL_BAR_COLS (f) * CANON_X_UNIT (f); |
int area_width = FRAME_SCROLL_BAR_COLS (f) * CANON_X_UNIT (f); |
9255 |
int rest = area_width - sb_width; |
int rest = area_width - sb_width; |
9256 |
if (rest > 0) |
if (rest > 0 && height > 0) |
9257 |
x_clear_area (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), |
{ |
9258 |
left + area_width - rest, top, |
if (FRAME_HAS_VERTICAL_SCROLL_BARS_ON_LEFT (f)) |
9259 |
rest, max (height, 1), False); |
x_clear_area (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), |
9260 |
|
left + area_width - rest, top, |
9261 |
|
rest, height, False); |
9262 |
|
else |
9263 |
|
x_clear_area (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), |
9264 |
|
left, top, rest, height, False); |
9265 |
|
} |
9266 |
} |
} |
9267 |
|
|
9268 |
/* Move/size the scroll bar window. */ |
/* Move/size the scroll bar window. */ |