android_change_tool_bar_height  249 src/androidfns.c   android_change_tool_bar_height (f, nlines * FRAME_LINE_HEIGHT (f));
android_change_tool_bar_height 6279 src/androidterm.c   terminal->change_tool_bar_height_hook = android_change_tool_bar_height;
android_change_tool_bar_height  418 src/androidterm.h extern void android_change_tool_bar_height (struct frame *, int);