android_set_scroll_bar_default_height 6283 src/androidterm.c = android_set_scroll_bar_default_height; android_set_scroll_bar_default_height 420 src/androidterm.h extern void android_set_scroll_bar_default_height (struct frame *);