Preserve ENHANCED_KEY for direct key events (Alt up, F7 down) - #20618
Closed
TheJesper wants to merge 1 commit into
Closed
Preserve ENHANCED_KEY for direct key events (Alt up, F7 down)#20618TheJesper wants to merge 1 commit into
TheJesper wants to merge 1 commit into
GitHub Advanced Security / check-spelling
succeeded
Aug 28, 2026 in 2s
No new alerts in code changed by this pull request
Loading