FRAME_CONFIG_SCROLL_BAR_LINES  419 src/androidfns.c   FRAME_CONFIG_SCROLL_BAR_LINES (f) = (14 + height - 1) / height;
FRAME_CONFIG_SCROLL_BAR_LINES 5106 src/frame.c          FRAME_CONFIG_SCROLL_BAR_LINES (f) = (XFIXNAT (arg) + unit - 1) / unit;
FRAME_CONFIG_SCROLL_BAR_LINES 1357 src/frame.h       ? FRAME_CONFIG_SCROLL_BAR_LINES (f)	\
FRAME_CONFIG_SCROLL_BAR_LINES 2378 src/haikuterm.c   FRAME_CONFIG_SCROLL_BAR_LINES (f) = (size + height - 1) / height;
FRAME_CONFIG_SCROLL_BAR_LINES 2273 src/pgtkfns.c    FRAME_CONFIG_SCROLL_BAR_LINES (f) = (min_height + height - 1) / height;
FRAME_CONFIG_SCROLL_BAR_LINES  899 src/pgtkterm.c       FRAME_CONFIG_SCROLL_BAR_LINES (f)
FRAME_CONFIG_SCROLL_BAR_LINES  905 src/pgtkterm.c       FRAME_CONFIG_SCROLL_BAR_LINES (f) = (14 + height - 1) / height;
FRAME_CONFIG_SCROLL_BAR_LINES 2076 src/w32fns.c     FRAME_CONFIG_SCROLL_BAR_LINES (f)
FRAME_CONFIG_SCROLL_BAR_LINES  997 src/window.h      : FRAME_CONFIG_SCROLL_BAR_LINES (WINDOW_XFRAME (W)))
FRAME_CONFIG_SCROLL_BAR_LINES 2394 src/xfns.c       FRAME_CONFIG_SCROLL_BAR_LINES (f) = (min_height + height - 1) / height;
FRAME_CONFIG_SCROLL_BAR_LINES 2397 src/xfns.c       FRAME_CONFIG_SCROLL_BAR_LINES (f) = (14 + height - 1) / height;