From 255a8c5d14609745b113da921d0fe6bb20ab9db9 Mon Sep 17 00:00:00 2001 From: Antonio Scandurra Date: Wed, 23 Mar 2022 18:45:45 +0100 Subject: [PATCH] Don't push a duplicate nav entry when changing selections via the mouse Co-Authored-By: Keith Simmons --- crates/editor/src/editor.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/editor/src/editor.rs b/crates/editor/src/editor.rs index 49cc4abe69..1db7cc3e69 100644 --- a/crates/editor/src/editor.rs +++ b/crates/editor/src/editor.rs @@ -1393,8 +1393,6 @@ impl Editor { } } - self.push_to_nav_history(newest_selection.head(), Some(end.to_point(&buffer)), cx); - let selection = Selection { id: post_inc(&mut self.next_selection_id), start, @@ -6279,6 +6277,7 @@ mod tests { editor.selected_display_ranges(cx), &[DisplayPoint::new(3, 0)..DisplayPoint::new(3, 0)] ); + assert!(nav_history.borrow_mut().pop_backward().is_none()); // Move the cursor a small distance via the mouse. // Nothing is added to the navigation history. @@ -6305,6 +6304,7 @@ mod tests { editor.selected_display_ranges(cx), &[DisplayPoint::new(5, 0)..DisplayPoint::new(5, 0)] ); + assert!(nav_history.borrow_mut().pop_backward().is_none()); editor });