4780 |
top, |
top, |
4781 |
left + VERTICAL_SCROLL_BAR_WIDTH_TRIM, |
left + VERTICAL_SCROLL_BAR_WIDTH_TRIM, |
4782 |
width - VERTICAL_SCROLL_BAR_WIDTH_TRIM * 2, |
width - VERTICAL_SCROLL_BAR_WIDTH_TRIM * 2, |
4783 |
max (height, 1)); |
max (height, 1), |
4784 |
|
left, |
4785 |
|
width); |
4786 |
xg_show_scroll_bar (SCROLL_BAR_X_WINDOW (bar)); |
xg_show_scroll_bar (SCROLL_BAR_X_WINDOW (bar)); |
4787 |
#else /* not USE_GTK */ |
#else /* not USE_GTK */ |
4788 |
Widget scroll_bar = SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar); |
Widget scroll_bar = SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar); |
5032 |
top, |
top, |
5033 |
sb_left + VERTICAL_SCROLL_BAR_WIDTH_TRIM, |
sb_left + VERTICAL_SCROLL_BAR_WIDTH_TRIM, |
5034 |
sb_width - VERTICAL_SCROLL_BAR_WIDTH_TRIM * 2, |
sb_width - VERTICAL_SCROLL_BAR_WIDTH_TRIM * 2, |
5035 |
max (height, 1)); |
max (height, 1), |
5036 |
|
left, |
5037 |
|
width); |
5038 |
#else /* not USE_GTK */ |
#else /* not USE_GTK */ |
5039 |
|
|
5040 |
/* Since toolkit scroll bars are smaller than the space reserved |
/* Since toolkit scroll bars are smaller than the space reserved |