Grx.query_png_file

function query_png_file(filename: String): [ok: Boolean, width: Number(gint), height: Number(gint)] {
    // Gjs wrapper for grx_query_png_file()
}
  

Query width and height data from a PNG file

filename

Name of jpeg file

ok

true on success, otherwise false

width

return pnm width

height

return pnm height