Fixed long-standing issues with dual monitor configurations.

1) Added an option to leave the dock edge visible when dock is slid out.
2) Reset the dock width to DOCK_HIDDEN_WIDTH when dock is slid out. This prevents
the 'dead zone' for mouse clicks when the secondary monitor is to the right of the dock.