From ea8f18aff10bcb2ef036124d646908c7117c65b5 Mon Sep 17 00:00:00 2001 From: David Maciejak Date: Thu, 4 Dec 2014 13:30:27 +0700 Subject: [PATCH] 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 | 3 +++ WPrefs.app/KeyboardShortcuts.c | 1 + 2 files changed, 4 insertions(+) diff --git a/WPrefs.app/Expert.c b/WPrefs.app/Expert.c index 84e4eb40..dc455dd8 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 414d479f..6984a918 100644 --- a/WPrefs.app/KeyboardShortcuts.c +++ b/WPrefs.app/KeyboardShortcuts.c @@ -102,6 +102,7 @@ static const struct { { "GroupPrevKey", N_("Focus previous group window") }, /* Workspace Related */ + { "WorkspaceMapKey", N_("Open workspace pager") }, { "NextWorkspaceKey", N_("Switch to next workspace") }, { "PrevWorkspaceKey", N_("Switch to previous workspace") }, { "LastWorkspaceKey", N_("Switch to last used workspace") },