Skip to content

fix: display extended function and navigation key names - #2458

Merged
r3dbars merged 1 commit into
mainfrom
codex/review-support-6
Nov 12, 2026
Merged

r3dbars merged 1 commit into
mainfrom
codex/review-support-6

Conversation

@r3dbars

@r3dbars r3dbars commented Nov 10, 2026

Copy link
Copy Markdown
Owner

Accepted F13–F20 and Control-Home/End/Page Up/Page Down shortcuts display numeric fallback labels in Settings and duplicate-binding messages. Add their twelve Carbon key names to the shared formatter. Capture, matching, admission, modifiers, stored bindings, and preferences are unchanged.

The new pure tests cover all twelve labels through both display paths, duplicate messages, and existing-name/modifier/unknown-key controls. One old-source baseline run failed 38 of 43 assertions while all five controls passed; restoring the reviewed fix passed 43/43 with a verified 1/1-function completion receipt. Those sources were committed unchanged. No preference-based HotkeyPreferencesTests were run.

Independent full production/test diff, SDK constants, real formatter callers, and fixture-safety review: GREEN before execution. This extracts only SUPPORT-6 from broad pending #2336, which remains unchanged; unrelated validator cleanup is separate #2450.

At exact head a9fcac9, canonical guarded checks recorded 18 PASS (including concurrency typecheck), with app build and unfiltered fast tests explicitly BLOCKED3, so that original receipt remains FAIL. Separate authorized build.sh --no-open then passed on the exact head with file logging disabled and launch smoke explicitly skipped. Its initial dependency-mtime refusal is preserved; the cache content digest exactly matched its stamp, so only the owned stamp timestamp was refreshed before rebuilding. No Core dependency rebuild was needed. Standalone preflight passed. Verifier speed SKIPPED because Transcripted is already running; nothing was quit.

Real keyboard capture, native Settings rendering, and app launch remain unverified. No event taps, microphone, model, user preferences, or real user state were exercised.

@r3dbars
r3dbars merged commit e140557 into main Nov 12, 2026
8 of 12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant