android_change_window_attributes 2756 src/android.c    android_change_window_attributes (window, value_mask, attrs);
android_change_window_attributes 2766 src/android.c    android_change_window_attributes (window, ANDROID_CW_BACK_PIXEL,
android_change_window_attributes  578 src/androidgui.h extern void android_change_window_attributes (android_window,