2823 |
|
|
2824 |
XFlush (FRAME_X_DISPLAY (f)); |
XFlush (FRAME_X_DISPLAY (f)); |
2825 |
|
|
|
#ifdef USE_GTK |
|
|
xg_frame_cleared (f); |
|
|
#endif |
|
|
|
|
2826 |
UNBLOCK_INPUT; |
UNBLOCK_INPUT; |
2827 |
} |
} |
2828 |
|
|
4857 |
top, |
top, |
4858 |
left + VERTICAL_SCROLL_BAR_WIDTH_TRIM, |
left + VERTICAL_SCROLL_BAR_WIDTH_TRIM, |
4859 |
width - VERTICAL_SCROLL_BAR_WIDTH_TRIM * 2, |
width - VERTICAL_SCROLL_BAR_WIDTH_TRIM * 2, |
4860 |
max (height, 1), |
max (height, 1)); |
|
left, |
|
|
width); |
|
4861 |
xg_show_scroll_bar (SCROLL_BAR_X_WINDOW (bar)); |
xg_show_scroll_bar (SCROLL_BAR_X_WINDOW (bar)); |
4862 |
#else /* not USE_GTK */ |
#else /* not USE_GTK */ |
4863 |
Widget scroll_bar = SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar); |
Widget scroll_bar = SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar); |
5101 |
|
|
5102 |
#ifdef USE_TOOLKIT_SCROLL_BARS |
#ifdef USE_TOOLKIT_SCROLL_BARS |
5103 |
|
|
|
#ifdef USE_GTK |
|
|
if (mask) |
|
|
xg_update_scrollbar_pos (f, |
|
|
SCROLL_BAR_X_WINDOW (bar), |
|
|
top, |
|
|
sb_left + VERTICAL_SCROLL_BAR_WIDTH_TRIM, |
|
|
sb_width - VERTICAL_SCROLL_BAR_WIDTH_TRIM * 2, |
|
|
max (height, 1), |
|
|
left, |
|
|
width); |
|
|
#else /* not USE_GTK */ |
|
|
|
|
5104 |
/* Move/size the scroll bar widget. */ |
/* Move/size the scroll bar widget. */ |
5105 |
if (mask) |
if (mask) |
5106 |
{ |
{ |
5109 |
if (width > 0 && height > 0) |
if (width > 0 && height > 0) |
5110 |
x_clear_area (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), |
x_clear_area (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), |
5111 |
left, top, width, height, False); |
left, top, width, height, False); |
5112 |
|
#ifdef USE_GTK |
5113 |
|
xg_update_scrollbar_pos (f, |
5114 |
|
SCROLL_BAR_X_WINDOW (bar), |
5115 |
|
top, |
5116 |
|
sb_left + VERTICAL_SCROLL_BAR_WIDTH_TRIM, |
5117 |
|
sb_width - VERTICAL_SCROLL_BAR_WIDTH_TRIM *2, |
5118 |
|
max (height, 1)); |
5119 |
|
#else /* not USE_GTK */ |
5120 |
XtConfigureWidget (SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar), |
XtConfigureWidget (SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar), |
5121 |
sb_left + VERTICAL_SCROLL_BAR_WIDTH_TRIM, |
sb_left + VERTICAL_SCROLL_BAR_WIDTH_TRIM, |
5122 |
top, |
top, |
5123 |
sb_width - VERTICAL_SCROLL_BAR_WIDTH_TRIM * 2, |
sb_width - VERTICAL_SCROLL_BAR_WIDTH_TRIM * 2, |
5124 |
max (height, 1), 0); |
max (height, 1), 0); |
|
} |
|
5125 |
#endif /* not USE_GTK */ |
#endif /* not USE_GTK */ |
5126 |
|
} |
5127 |
#else /* not USE_TOOLKIT_SCROLL_BARS */ |
#else /* not USE_TOOLKIT_SCROLL_BARS */ |
5128 |
|
|
5129 |
/* Clear areas not covered by the scroll bar because of |
/* Clear areas not covered by the scroll bar because of |