umputun / agterm / 35262735086

93%

push

github

add f1 through f20 as keymap keys (#619)

`keymap.conf` rejected every F-key name, so no built-in, custom command or global hotkey could use
one. This adds `f1` through `f20` as named keys, with or without modifiers: `map shift+f6 …`,
`command "x" f5 …`, `f5>x` as a leader, `global-hotkey f5`.

A bare F-key may start a monitor-bound shortcut and a global hotkey, where other bare keys are still
rejected as the first chord. `global-hotkey f5` takes F5 from every application, agterm included,
and the docs say so. They also say to use Fn/Globe or enable standard function keys to send F1-F12
on an Apple keyboard.

A bound F-key keeps ownership of its press through the repeats and the release, whether the command
monitor or an AppKit menu equivalent dispatched it, so a held key neither refires the action nor
leaks the key into the terminal. Menu ownership is recorded only after AppKit has chosen the action,
through `NSMenu.willSendActionNotification`, so nothing is predicted from a keymap the menu may not
have picked up yet and a menu item chosen with the mouse records nothing.

Tests cover the keycode table, the parser boundaries `f0`/`f21`, bare and modified chords, leaders
with the prefix still held, a lost release, and native menu dispatch with `keymap list` read-back.
UI tests fire a bare F5 and Shift-F6, and check a bare F5 menu binding sends no bytes to either
session while an unbound F6 still reaches the program.

41 of 41 new or added lines in 3 files covered. (100.0%)

11392 of 12251 relevant lines covered (92.99%)

3330880.65 hits per line