android_make_point 2912 src/androidterm.c 			   android_make_point (left_x, bottom_y - hwidth),
android_make_point 2913 src/androidterm.c 			   android_make_point (left_x + vwidth,
android_make_point 2915 src/androidterm.c 			   android_make_point (left_x, bottom_y));
android_make_point 2919 src/androidterm.c 			   android_make_point (right_x - vwidth, top_y),
android_make_point 2920 src/androidterm.c 			   android_make_point (right_x, top_y),
android_make_point 2921 src/androidterm.c 			   android_make_point (right_x - vwidth,