mirror of
https://github.com/gryf/wmaker.git
synced 2026-01-01 19:42:32 +01:00
This patch adds the DockRaiseLowerKey shortcut, which raises/lowers the dock depending on whether the dock is lowered/raised. [crmafra: Reformatted Brad's patch against git repo and removed the DockRaiseKey and DockLowerKey shortcuts ]
3.6 KiB
3.6 KiB