Fix the selection sync management and make mark-mode synced among editors on the same document#1648
Merged
whitphx merged 3 commits intomainfrom feature/buffers-share-mark-modeAug 27, 2023
+203-15
Commits
Commits on Aug 25, 2023
Commits on Aug 27, 2023
- committed
- committed