next up previous contents
Next: Input Focus Up: Things Window Managers Previous: Window location

Window size

If the mouse is moved onto the border, the pointer changes shape and by pressing the left mouse button and moving the mouse it is possible to change the window size. Not all programs allow changing their window size and some programs do not have square windows, which makes changing their size slightly tricky as they do not have borders.

Mark O. Stitson
Wed Sep 25 10:45:32 BST 1996