Improve buffer view relocation after jumping to a far-away location#2628
Merged
zyedidia merged 3 commits intomicro-editor:masterfrom Dec 3, 2022
Merged
Improve buffer view relocation after jumping to a far-away location#2628zyedidia merged 3 commits intomicro-editor:masterfrom
zyedidia merged 3 commits intomicro-editor:masterfrom