9.5.2

52 • CHAPTER 3
CONFIGURATION • 53
Re-sizing
Before moving the window’s edge. After moving the window’s edge.
To change a window’s width or height, rst move the mouse pointer to a window border; the mouse
pointer changes to a double arrow to indicate the direction — vertical or horizontal — in which you
can drag the border. Drag the border to re-size. The neighboring windows are re-sized automatically
to make room.
Undocking
You can insert a window or a icon palette into an undocked window to form
a new GUI group. This can help in particular if you are using more than one
monitor.
To undock a window, click the window’s pin icon and choose Undock from the menu that appears.
The window becomes freestanding and oats above the main window.
Choose Undock. Undocked window.