1
0
mirror of https://github.com/gryf/wmaker.git synced 2026-03-05 00:15:56 +01:00

WPrefs: Hot corner preferences

Add a new "Hot Corner Shortcut Preferences" section to WPrefs
to configure the Hot Corners feature.
This commit is contained in:
David Maciejak
2023-03-26 14:36:13 +08:00
committed by Carlos R. Mafra
parent 802cbc0d75
commit ecef2b2890
9 changed files with 608 additions and 0 deletions

View File

@@ -15,6 +15,7 @@ dist_xpmdata_DATA = \
ergonomic.xpm \
expert.xpm \
fonts.xpm \
hotcorners.xpm \
iconprefs.xpm \
keyboard.xpm \
keyboardprefs.xpm \