From f2b0b8934a8d64521b7b3f32fe0df874d86c75e5 Mon Sep 17 00:00:00 2001 From: David Maciejak Date: Thu, 4 Dec 2014 13:30:27 +0700 Subject: [PATCH 2/4] 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. --- WPrefs.app/Expert.c | 3 +++ WPrefs.app/KeyboardShortcuts.c | 1 + 2 files changed, 4 insertions(+) diff --git a/WPrefs.app/Expert.c b/WPrefs.app/Expert.c index 84e4eb4..424b04f 100644 --- a/WPrefs.app/Expert.c +++ b/WPrefs.app/Expert.c @@ -43,6 +43,9 @@ static const struct { { N_("Disable miniwindows (icons for minimized windows). For use with KDE/GNOME."), /* default: */ False, OPTION_WMAKER, "DisableMiniwindows" }, + { N_("Disable workspace pager"), + /* default: */ False, OPTION_WMAKER, "DisableWorkspacePager" }, + { N_("Do not set non-WindowMaker specific parameters (do not use xset)."), /* default: */ False, OPTION_USERDEF, "NoXSetStuff" }, diff --git a/WPrefs.app/KeyboardShortcuts.c b/WPrefs.app/KeyboardShortcuts.c index 414d479..d46bb6c 100644 --- a/WPrefs.app/KeyboardShortcuts.c +++ b/WPrefs.app/KeyboardShortcuts.c @@ -96,6 +96,7 @@ static const struct { { "ShadeKey", N_("Shade active window") }, { "MoveResizeKey", N_("Move/Resize active window") }, { "SelectKey", N_("Select active window") }, + { "WorkspaceMapKey", N_("Open workspace pager") }, { "FocusNextKey", N_("Focus next window") }, { "FocusPrevKey", N_("Focus previous window") }, { "GroupNextKey", N_("Focus next group window") }, -- 2.1.0