Custom hotkeys

The toggle hotkey is now editable in Settings and the app actually uses what you set, instead of a hardcoded combination. Existing installs are migrated, and Settings shows the hotkey you configured rather than a fixed label.
Made with ProductLift