android_get_screen_height 100 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 ();