mirror of
https://github.com/storytold/pdfcraft.git
synced 2026-11-02 14:38:13 -06:00
Main took integration batch 6 (#4566). Conflict in edit_text_ui.rs: the overlay keeps this PR's view_id and main's switch to interact_pos for clicks outside the document.