WPrefs: add workspace pager configuration
commitea8f18aff10bcb2ef036124d646908c7117c65b5
authorDavid Maciejak <david.maciejak@gmail.com>
Thu, 4 Dec 2014 06:30:27 +0000 (4 13:30 +0700)
committerCarlos R. Mafra <crmafra@gmail.com>
Wed, 10 Dec 2014 10:19:18 +0000 (10 10:19 +0000)
tree4da1ca636294943a372b5cb2558f4d70ea373a90
parentc10469264d70075a26a13ac2db5281822a2a2210
WPrefs: add workspace pager configuration

This patch is adding a checkbox in the expert zone to disable
completely the workspace pager and add an entry in keyshortcut
preference to set the shortcut used to open the pager with the
action "Open workspace pager".

The default frame background can be configured by setting an optional
variable "WorkspaceMapBack" from WindowMaker conf file as in:

WorkspaceMapBack = (tpixmap, "/tmp/testme.png", gray20);

or

WorkspaceMapBack = (solid, "#2c2482");
WPrefs.app/Expert.c
WPrefs.app/KeyboardShortcuts.c