Skip to content

Fix overlay growth on mixed-DPI displays - #14

Merged
xarthurx merged 1 commit into
mainfrom
codex/fix-overlay-dpi-growth
Aug 13, 2026
Merged

Fix overlay growth on mixed-DPI displays#14
xarthurx merged 1 commit into
mainfrom
codex/fix-overlay-dpi-growth

Commits

Commits on Aug 10, 2026