android_get_screen_height  102 src/android.h  extern int android_get_screen_height (void);
android_get_screen_height 1229 src/androidfns.c   return make_fixnum (android_get_screen_height ());
android_get_screen_height 1398 src/androidfns.c   monitor.geom.height = android_get_screen_height ();
android_get_screen_height 2143 src/androidfns.c   max_y = android_get_screen_height ();