Allow WPrefs to configure workspace switching keys.
commit124442a811b6551fde17989555e9afc539bbb738
authorIain Patterson <wm@iain.cx>
Wed, 27 Mar 2013 21:10:01 +0000 (27 21:10 +0000)
committerCarlos R. Mafra <crmafra@gmail.com>
Thu, 28 Mar 2013 19:04:03 +0000 (28 19:04 +0000)
treec27f250c27284d4dc15ee0403367f656191de68e
parentae7235c2df819604f2b407cc738a835f55e6b81f
Allow WPrefs to configure workspace switching keys.

Added MoveToWorkspace*Key, MoveToNextWorkspaceKey,
MoveToPrevWorkspaceKey, MoveToLastWorkspaceKey,
MoveToNextWorkspaceLayerKey and MoveToPrevWorkspaceLayerKey to the
keyboard shortcut panel of WPrefs.
WPrefs.app/KeyboardShortcuts.c