Make it possible to change the resolution of the preview in the editor

[nical]

Should not be too hard, just need to re-run gl_init() and gfx_init() when changing the setting. This would not affect the exported demo (but would let us see the demo with higher resolutions without having to generate the export).