Only update selection if all selections are empty
MODIFY
lib/find-view.js
lib/find-view.js
@@ -698,7 +698,7 @@ class FindView {
toggleSelectionOption() {
this.search({inCurrentSelection: !this.model.getFindOptions().inCurrentSelection});
- if (!this.anyMarkersAreSelected()) {
+ if (this.model.getEditor().getSelectedBufferRanges().every(range => range.isEmpty())) {
this.selectFirstMarkerAfterCursor();
}
}

Only update selection if all selections are empty