Scroll so that text cursor remains visible#1252

Merged

emilk merged 3 commits intomasterfrom scroll-to-text-cursor

Feb 16, 2022

+71-39

Commits on Feb 15, 2022

Commits on Feb 16, 2022

Only follow cursor if text or cursor changes
emilk
committed