comparison src/xterm.c @ 25269:621067279f19

(XTset_vertical_scroll_bar) [USE_TOOLKIT_SCROLL_BARS]: Simplify clearing "under" scroll bar.
author Gerd Moellmann <gerd@gnu.org>
date Sun, 15 Aug 1999 22:01:01 +0000
parents 3a5376feb9aa
children 0f10c1eaf8fb
comparison
equal deleted inserted replaced
25268:ae698a1c13a4 25269:621067279f19
7913 mask |= CWWidth; 7913 mask |= CWWidth;
7914 if (pixel_height != XINT (bar->height)) 7914 if (pixel_height != XINT (bar->height))
7915 mask |= CWHeight; 7915 mask |= CWHeight;
7916 7916
7917 #ifdef USE_TOOLKIT_SCROLL_BARS 7917 #ifdef USE_TOOLKIT_SCROLL_BARS
7918 7918
7919 if (FRAME_HAS_VERTICAL_SCROLL_BARS_ON_RIGHT (f)) 7919 /* Since toolkit scroll bars are smaller than the space reserved
7920 { 7920 for them on the frame, we have to clear "under" them. */
7921 XClearArea (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f), 7921 XClearArea (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f),
7922 pixel_left + pixel_width - scroll_bar_area_width, 7922 pixel_left, pixel_top,
7923 pixel_top, 7923 pixel_width + 1, pixel_height, False);
7924 (scroll_bar_area_width
7925 - pixel_width
7926 + VERTICAL_SCROLL_BAR_WIDTH_TRIM),
7927 pixel_height, False);
7928 XClearArea (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f),
7929 (pixel_left
7930 + pixel_width
7931 - VERTICAL_SCROLL_BAR_WIDTH_TRIM),
7932 pixel_top,
7933 VERTICAL_SCROLL_BAR_WIDTH_TRIM,
7934 pixel_height, False);
7935 }
7936 else
7937 {
7938 XClearArea (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f),
7939 pixel_left, pixel_top,
7940 VERTICAL_SCROLL_BAR_WIDTH_TRIM, pixel_height, False);
7941 XClearArea (FRAME_X_DISPLAY (f), FRAME_X_WINDOW (f),
7942 (pixel_left
7943 + pixel_width
7944 - VERTICAL_SCROLL_BAR_WIDTH_TRIM),
7945 pixel_top,
7946 (scroll_bar_area_width
7947 - pixel_width
7948 + VERTICAL_SCROLL_BAR_WIDTH_TRIM),
7949 pixel_height, False);
7950 }
7951 7924
7952 /* Move/size the scroll bar widget. */ 7925 /* Move/size the scroll bar widget. */
7953 if (mask) 7926 if (mask)
7954 XtConfigureWidget (SCROLL_BAR_X_WIDGET (bar), 7927 XtConfigureWidget (SCROLL_BAR_X_WIDGET (bar),
7955 pixel_left + VERTICAL_SCROLL_BAR_WIDTH_TRIM, 7928 pixel_left + VERTICAL_SCROLL_BAR_WIDTH_TRIM,