Add a check to prevent re-selecting same range (#2760)

pull/2800/head
Ryang Sohn 2 years ago committed by GitHub
parent d7bd441675
commit 3bd5545577
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -3770,12 +3770,15 @@ fn expand_selection(cx: &mut Context) {
let text = doc.text().slice(..);
let current_selection = doc.selection(view.id);
let selection = object::expand_selection(syntax, text, current_selection.clone());
// save current selection so it can be restored using shrink_selection
view.object_selections.push(current_selection.clone());
// check if selection is different from the last one
if *current_selection != selection {
// save current selection so it can be restored using shrink_selection
view.object_selections.push(current_selection.clone());
let selection = object::expand_selection(syntax, text, current_selection.clone());
doc.set_selection(view.id, selection);
doc.set_selection(view.id, selection);
}
}
};
motion(cx.editor);

Loading…
Cancel
Save