This patch adds an option in the Active Edges Preferences to make
the top and bottom edges active. If this option is enabled, the
desktop switched to is the one in the direction of the edge the
mouse is at, as determined by the pager. This behavior is very
standard in Linux window managers that have active edges -- KDE,
enlightenment, FVWM, sawfish, etc.
Unfortunately, this means that the pager becomes an important
part of the project, not just a plugin, and Plugins/DesktopPager/
DesktopPagerController.h has to be included from Core/
WorkspaceController.m. I see no way around this problem since
the behavior of the new functions selectLeftWorkspace,
selectRightWorkspace, selectUpWorkspace, and
selectDownWorkspace in WorkspaceController.m depends on the
number of rows in the pager.
Also, some of the desktop switching animations are designed for
left and right switching and are not appropriate for up and down
switching.
This patch is intended to be applied after patch97.
