I love Typst for what it can do and how rapidly it’s developed. But the web app’s search function has some serious usability issues:
-
No hit counter - It doesn’t show total matches or current position (e.g., “3 of 12”). This makes navigation needlessly difficult.
-
Broken text selection workflow - If you select text and press Ctrl+F, it searches fine the first time. But if you select different text and press Ctrl+F again while the search box is open, it ignores the new selection entirely. You’re forced to either close the search box between queries or manually paste into it—both kill productivity when doing find/replace operations.
I thought text search was a solved problem, so maybe I’m missing something obvious. Has anyone else run into this, or found a workaround?