android_copy_area  617 src/androidgui.h extern void android_copy_area (android_drawable, android_drawable,
android_copy_area 2389 src/androidterm.c   android_copy_area (FRAME_ANDROID_DRAWABLE (f),
android_copy_area 2536 src/androidterm.c       android_copy_area (pixmap, drawable, gc, 0, 0, p->wd, p->h,
android_copy_area 3368 src/androidterm.c 	android_copy_area (s->img->pixmap,