Window Size: Setting the Graphics Window Size in Pixels

Window size: Setting the graphics window size in pixels

On windows displays it is sometimes convenient to be able to set the graphics window to a specific size in pixels. This command allows you to do that: in screen menu mode the graphics window only is resized, in raw windows mode the whole display window is resized.

The window size is not "clamped" by this command: subsequently resizing the window will overwrite this setting.

If you have multiple windows the size will be set for all windows with W1 .. Wn tabs active.