android_set_window_size 6270 src/androidterm.c   terminal->set_window_size_hook = android_set_window_size;
android_set_window_size  400 src/androidterm.h extern void android_set_window_size (struct frame *, bool, int, int);