Grx.get_virtual_height

function get_virtual_height(): Number(gint) {
    // Gjs wrapper for grx_get_virtual_height()
}