SCROLL_BAR_X_WIDGET 15968 src/xterm.c      Widget widget = SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar);
SCROLL_BAR_X_WIDGET 16080 src/xterm.c      Widget widget = SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar);
SCROLL_BAR_X_WIDGET 16267 src/xterm.c        Widget scroll_bar = SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar);
SCROLL_BAR_X_WIDGET 16431 src/xterm.c      XtDestroyWidget (SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar));
SCROLL_BAR_X_WIDGET 16517 src/xterm.c              XtConfigureWidget (SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar),
SCROLL_BAR_X_WIDGET 16641 src/xterm.c              XtConfigureWidget (SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar),