Extracted from Pike v8.0 release 164 as of 2016-04-05.
   

Method GLUE.set_resolution()


Method set_resolution

void set_resolution(int w, int h)

Description

Sets the resolution to wxh pixels.

See also

xsize, ysize