1.9.4 Re-sizing a window
You can re-size most windows to make them larger (so that you can see more content) or smaller (to get them out of the way).
Bring your mouse across any edge of a window, until you see a double-headed arrow.
While you can see the arrow, click and hold the mouse button, dragging the arrow inwards or outwards to make the window smaller or bigger.
Once you let go, the window will be at the new size.
If a window is already at maximum size and you cannot reach the edges, use the middle icon at the top right of the window to make the window smaller.
You can then drag the edges, as described above, to make the window the size you want.