FRAME_CONFIG_SCROLL_BAR_HEIGHT  423 src/androidfns.c   FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) = 14;
FRAME_CONFIG_SCROLL_BAR_HEIGHT 4609 src/frame.c    		  (FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) > 0
FRAME_CONFIG_SCROLL_BAR_HEIGHT 4610 src/frame.c    		   ? make_fixnum (FRAME_CONFIG_SCROLL_BAR_HEIGHT (f))
FRAME_CONFIG_SCROLL_BAR_HEIGHT 5103 src/frame.c          && XFIXNAT (arg) != FRAME_CONFIG_SCROLL_BAR_HEIGHT (f))
FRAME_CONFIG_SCROLL_BAR_HEIGHT 5105 src/frame.c          FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) = XFIXNAT (arg);
FRAME_CONFIG_SCROLL_BAR_HEIGHT 1345 src/frame.h       ? FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) \
FRAME_CONFIG_SCROLL_BAR_HEIGHT 2377 src/haikuterm.c   FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) = size;
FRAME_CONFIG_SCROLL_BAR_HEIGHT 1069 src/nsterm.h      ? rint (FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) > 0			\
FRAME_CONFIG_SCROLL_BAR_HEIGHT 1070 src/nsterm.h   	   ? FRAME_CONFIG_SCROLL_BAR_HEIGHT (f)				\
FRAME_CONFIG_SCROLL_BAR_HEIGHT 2272 src/pgtkfns.c    FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) = min_height;
FRAME_CONFIG_SCROLL_BAR_HEIGHT  896 src/pgtkterm.c   if (FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) > 0)
FRAME_CONFIG_SCROLL_BAR_HEIGHT  900 src/pgtkterm.c 	= (FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) + height - 1) / height;
FRAME_CONFIG_SCROLL_BAR_HEIGHT 2075 src/w32fns.c     FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) = GetSystemMetrics (SM_CXHSCROLL);
FRAME_CONFIG_SCROLL_BAR_HEIGHT 2077 src/w32fns.c       = (FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) + unit - 1) / unit;
FRAME_CONFIG_SCROLL_BAR_HEIGHT 5942 src/w32fns.c     FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) = GetSystemMetrics (SM_CXHSCROLL);
FRAME_CONFIG_SCROLL_BAR_HEIGHT  987 src/window.h      : FRAME_CONFIG_SCROLL_BAR_HEIGHT (WINDOW_XFRAME (W)))
FRAME_CONFIG_SCROLL_BAR_HEIGHT 2393 src/xfns.c       FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) = min_height;
FRAME_CONFIG_SCROLL_BAR_HEIGHT 2401 src/xfns.c       FRAME_CONFIG_SCROLL_BAR_HEIGHT (f) = 14;