Skip to content

focus_on: check who has the focus after a key that changes nothing visible - #1579

Merged
abrichr merged 5 commits into
mainfrom
feat/focus-on-postcondition
Oct 28, 2026
Merged

abrichr merged 5 commits into
mainfrom
feat/focus-on-postcondition

Merge remote-tracking branch 'origin/main' into feat/focus-on-postcon…

4d1f37a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
dependency-review
succeeded Oct 28, 2026 in 9s