SCROLL_BAR_X_WIDGET 16275 src/xterm.c      Widget widget = SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar);
SCROLL_BAR_X_WIDGET 16387 src/xterm.c      Widget widget = SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar);
SCROLL_BAR_X_WIDGET 16574 src/xterm.c        Widget scroll_bar = SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar);
SCROLL_BAR_X_WIDGET 16738 src/xterm.c      XtDestroyWidget (SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar));
SCROLL_BAR_X_WIDGET 16824 src/xterm.c              XtConfigureWidget (SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar),
SCROLL_BAR_X_WIDGET 16948 src/xterm.c              XtConfigureWidget (SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar),