WIP: Fix jumppiness in scroll sync when editing, especially latex#192
Draft
jadeglaze wants to merge 2 commits intomb21:masterfrom
Draft
WIP: Fix jumppiness in scroll sync when editing, especially latex#192jadeglaze wants to merge 2 commits intomb21:masterfrom
jadeglaze wants to merge 2 commits intomb21:masterfrom