Any key combination as a hotkey
This release lets you use the hotkeys you actually press.
New
Hotkey combinations
Some combinations couldn't be recorded as a hotkey: Fn with an F-key was taken for the F-key alone, and two modifiers together, such as ⌃⌥, weren't accepted at all.
Now you get exactly what you press. F15 and Fn+F15 are two different hotkeys, so push to talk and persistent recording can share one key, and a combination of modifiers alone works too: as push to talk, ⌃⌥ records while both are held, and a shortcut such as ⌃⌥T still works in other apps. Record them in Settings > Hotkeys; the hotkeys you already have keep working.
Fixed
- Black dots and lines no longer flash around the selected tab the first time Settings opens.