mirror of
https://github.com/storytold/effectcraft.git
synced 2026-11-08 09:31:20 +00:00
settings.rs: keep upstream's measured page-list width, text_fit and translated page titles, and the PR's per-page ids, list-item roles, keyboard focus and focus ring. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>