Retain range direction on search

Co-authored-by: CossonLeo <20379044+cossonleo@users.noreply.github.com>
This commit is contained in:
Blaž Hrastnik 2021-11-06 17:41:30 +09:00
parent 6431b26a6a
commit b81a554424

View file

@ -1223,11 +1223,18 @@ fn search_impl(
// skip empty matches that don't make sense // skip empty matches that don't make sense
return; return;
} }
// Determine range direction based on the primary range
let primary = selection.primary();
let range = if primary.head < primary.anchor {
Range::new(end, start)
} else {
Range::new(start, end)
};
let selection = match movement { let selection = match movement {
Movement::Extend => selection.clone().push(Range::new(start, end)), Movement::Extend => selection.clone().push(range),
Movement::Move => selection Movement::Move => selection.clone().replace(selection.primary_index(), range),
.clone()
.replace(selection.primary_index(), Range::new(start, end)),
}; };
doc.set_selection(view.id, selection); doc.set_selection(view.id, selection);