8956 |
/* Clear the area of W that will serve as a scroll bar. This is |
/* Clear the area of W that will serve as a scroll bar. This is |
8957 |
for the case that a window has been split horizontally. In |
for the case that a window has been split horizontally. In |
8958 |
this case, no clear_frame is generated to reduce flickering. */ |
this case, no clear_frame is generated to reduce flickering. */ |
8959 |
x_clear_area (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), |
if (width > 0 && height > 0) |
8960 |
left, top, width, |
x_clear_area (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), |
8961 |
window_box_height (w), False); |
left, top, width, |
8962 |
|
window_box_height (w), False); |
8963 |
|
|
8964 |
window = XCreateWindow (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), |
window = XCreateWindow (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), |
8965 |
/* Position and size of scroll bar. */ |
/* Position and size of scroll bar. */ |
9202 |
/* Does the scroll bar exist yet? */ |
/* Does the scroll bar exist yet? */ |
9203 |
if (NILP (w->vertical_scroll_bar)) |
if (NILP (w->vertical_scroll_bar)) |
9204 |
{ |
{ |
9205 |
if (width && height) |
if (width > 0 && height > 0) |
9206 |
{ |
{ |
9207 |
BLOCK_INPUT; |
BLOCK_INPUT; |
9208 |
x_clear_area (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), |
x_clear_area (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), |
9234 |
|
|
9235 |
/* Since toolkit scroll bars are smaller than the space reserved |
/* Since toolkit scroll bars are smaller than the space reserved |
9236 |
for them on the frame, we have to clear "under" them. */ |
for them on the frame, we have to clear "under" them. */ |
9237 |
if (width && height) |
if (width > 0 && height > 0) |
9238 |
x_clear_area (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), |
x_clear_area (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), |
9239 |
left, top, width, height, False); |
left, top, width, height, False); |
9240 |
|
|