Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixes #3713 , hopefully. This happened when you were editing a file in two splits at once. An edit in one split that affected the cursor position in the other split would trigger an extra `onDidChangeTextEditorSelection` event that we should be ignoring.
- Loading branch information