#83 0.70.0 Mouse Navigation Patch

[Michael Langley]

This patch adds the following mouse functionality
configurable from the Configuration Options menu.

Mouse Wheel:

Change window focus or workspaces with the mouse wheel.
You can also shade or unshade a window with the wheel
while your cursor is on the windows title bar.

Buttons 6 and 7:

If you have an Intellimouse Explorer or any other mouse
with 7 buttons configured in X (ExplorerPS/2) you can
use buttons 6 and 7 to change window focus or
workspaces. You can also use buttons 6 and 7 to send a
window to the previous or next workspace and change
workspaces with it while your cursor is on the windows
title bar.

[Michael Langley]

0.70.0 Mouse Navigation Patch