android_set_fullscreen  666 src/androidgui.h extern int android_set_fullscreen (android_window, bool);
android_set_fullscreen 2033 src/androidterm.c       if (android_set_fullscreen (FRAME_ANDROID_WINDOW (f),
android_set_fullscreen 2045 src/androidterm.c       android_set_fullscreen (FRAME_ANDROID_WINDOW (f), false);