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