Grx.get_screen_height

function get_screen_height(): Number(gint) {
    // Gjs wrapper for grx_get_screen_height()
}