android_change_tab_bar_height 352 src/androidfns.c android_change_tab_bar_height (f, nlines * FRAME_LINE_HEIGHT (f)); android_change_tab_bar_height 6278 src/androidterm.c terminal->change_tab_bar_height_hook = android_change_tab_bar_height; android_change_tab_bar_height 417 src/androidterm.h extern void android_change_tab_bar_height (struct frame *, int);