Grx.get_height

function get_height(): Number(gint) {
    // Gjs wrapper for grx_get_height()
}