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),