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
0002-WPrefs-add-workspace-pager-configuration.patch
Description: Binary data
