SCROLL_BAR_X_WIDGET 16333 src/xterm.c      Widget widget = SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar);
SCROLL_BAR_X_WIDGET 16445 src/xterm.c      Widget widget = SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar);
SCROLL_BAR_X_WIDGET 16632 src/xterm.c        Widget scroll_bar = SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar);
SCROLL_BAR_X_WIDGET 16796 src/xterm.c      XtDestroyWidget (SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar));
SCROLL_BAR_X_WIDGET 16882 src/xterm.c              XtConfigureWidget (SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar),
SCROLL_BAR_X_WIDGET 17006 src/xterm.c              XtConfigureWidget (SCROLL_BAR_X_WIDGET (FRAME_X_DISPLAY (f), bar),