Fix forward SyncTex accuracy in internal browser by providing a range location indication alternative#4194
Merged
James-Yu merged 8 commits intoJames-Yu:masterfrom pyk1998:masterApr 15, 2024
+243-60
Commits
Commits on Mar 8, 2024
Commits on Mar 20, 2024
Commits on Mar 24, 2024
Commits on Mar 25, 2024
- committed
Commits on Apr 15, 2024
- committed
