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 6281 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);