mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-19 20:38:08 +01:00
Added shortcut to switch to last used workspace.
Added new LastWorkspaceKey shortcut and Workspaces menu entry to switch back to the last used workspace.
This commit is contained in:
committed by
Carlos R. Mafra
parent
d25fde4173
commit
63219247c6
@@ -610,6 +610,8 @@ WDefaultEntry optionList[] = {
|
||||
NULL, getKeybind, setKeyGrab, NULL, NULL},
|
||||
{"PrevWorkspaceKey", "None", (void *)WKBD_PREVWORKSPACE,
|
||||
NULL, getKeybind, setKeyGrab, NULL, NULL},
|
||||
{"LastWorkspaceKey", "None", (void *)WKBD_LASTWORKSPACE,
|
||||
NULL, getKeybind, setKeyGrab, NULL, NULL},
|
||||
{"NextWorkspaceLayerKey", "None", (void *)WKBD_NEXTWSLAYER,
|
||||
NULL, getKeybind, setKeyGrab, NULL, NULL},
|
||||
{"PrevWorkspaceLayerKey", "None", (void *)WKBD_PREVWSLAYER,
|
||||
@@ -2852,6 +2854,8 @@ static int setKeyGrab(WScreen * scr, WDefaultEntry * entry, WShortKey * shortcut
|
||||
/* do we need to update window menus? */
|
||||
if (widx >= WKBD_WORKSPACE1 && widx <= WKBD_WORKSPACE10)
|
||||
return REFRESH_WORKSPACE_MENU;
|
||||
if (widx == WKBD_LASTWORKSPACE)
|
||||
return REFRESH_WORKSPACE_MENU;
|
||||
|
||||
return 0;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user