From 616188c541926080911e04684e159f25c63f2f68 Mon Sep 17 00:00:00 2001 From: Mikayla Maki Date: Fri, 21 Apr 2023 17:15:15 -0700 Subject: [PATCH] Fix a bug where the character under a cursor could not reliably be selected --- crates/terminal/src/terminal.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/crates/terminal/src/terminal.rs b/crates/terminal/src/terminal.rs index 1498e63aeb3c2d5b9d9fca85deefc4774f711af3..071aa55cd986c8adff807f1360e5d778850f098f 100644 --- a/crates/terminal/src/terminal.rs +++ b/crates/terminal/src/terminal.rs @@ -665,6 +665,7 @@ impl Terminal { self.last_content.size, term.grid().display_offset(), ); + let side = mouse_side(*position, self.last_content.size); selection.update(point, side); @@ -1025,7 +1026,9 @@ impl Terminal { self.last_content.size, self.last_content.display_offset, ); - let side = mouse_side(position, self.last_content.size); + + // Use .opposite so that selection is inclusive of the cell clicked. + let side = mouse_side(position, self.last_content.size).opposite(); let selection_type = match e.click_count { 0 => return, //This is a release