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

Remove [raise,lower]clip shortcut keys

The raising and lowering of the clip is already taken care of
by the "ClipRaiseLowerKey" shortcut.

wmaker gets a bit smaller for free:
   text    data     bss     dec     hex filename
 449483   17384    8208  475075   73fc3 src/.libs/wmaker.old
 449307   17256    8192  474755   73e83 src/.libs/wmaker.new
This commit is contained in:
Carlos R. Mafra
2010-01-07 16:01:59 +01:00
parent 8a2a0b6adc
commit 643e49f190
5 changed files with 4 additions and 21 deletions

View File

@@ -561,10 +561,6 @@ WDefaultEntry optionList[] = {
NULL, getKeybind, setKeyGrab},
{"DockRaiseLowerKey", "None", (void*)WKBD_DOCKRAISELOWER,
NULL, getKeybind, setKeyGrab},
{"ClipLowerKey", "None", (void *)WKBD_CLIPLOWER,
NULL, getKeybind, setKeyGrab},
{"ClipRaiseKey", "None", (void *)WKBD_CLIPRAISE,
NULL, getKeybind, setKeyGrab},
{"ClipRaiseLowerKey", "None", (void *)WKBD_CLIPRAISELOWER,
NULL, getKeybind, setKeyGrab},
{"MiniaturizeKey", "None", (void *)WKBD_MINIATURIZE,