android_set_scroll_bar_default_width 6284 src/androidterm.c = android_set_scroll_bar_default_width; android_set_scroll_bar_default_width 419 src/androidterm.h extern void android_set_scroll_bar_default_width (struct frame *);