Skip to content

Inspector behind a switch; double-click zooms to fill; Space presents a board - #195

Merged
Jing-yilin merged 13 commits into
mainfrom
fullscreen-zoom
Oct 8, 2026
Merged

Jing-yilin merged 13 commits into
mainfrom
fullscreen-zoom

Commits

  1. Commits on Sep 26, 2026

  2. Commits on Sep 27, 2026

  3. Commits on Sep 29, 2026