Graphic option
pic_widthDefault value: 640
This is the width of the bitmap file generated by terminals png and jpg.
Since this is a global graphics option, its position in the scene description
does not matter. It can be also used as an argument of function draw.
Example: