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

focus_on: check who has the focus after a key that changes nothing visible#1579
abrichr merged 5 commits into
mainfrom
feat/focus-on-postcondition

Commits

  1. Commits on Oct 25, 2026

  2. Commits on Oct 28, 2026