1
0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-19 12:28:22 +01:00

Added "Hide Others" to the window menu

This commit is contained in:
dan
2002-01-04 05:44:20 +00:00
parent a8c7375623
commit 96f8ab167f
8 changed files with 56 additions and 29 deletions

View File

@@ -681,6 +681,9 @@ WDefaultEntry optionList[] = {
{"HideKey", "None", (void*)WKBD_HIDE,
NULL, getKeybind, setKeyGrab
},
{"HideOthersKey", "None", (void*)WKBD_HIDE_OTHERS,
NULL, getKeybind, setKeyGrab
},
{"MoveResizeKey", "None", (void*)WKBD_MOVERESIZE,
NULL, getKeybind, setKeyGrab
},