nludwig bf71e1a774 make hotkeys configurable		2025-12-29 20:42:52 -08:00
..
custom	make hotkeys configurable	2025-12-29 20:42:52 -08:00
defaults	make hotkeys configurable	2025-12-29 20:42:52 -08:00