diff options
| author | Ogulcan Celik <ogulcancelik@gmail.com> | 2026-07-25 02:40:27 +0300 |
|---|---|---|
| committer | Ogulcan Celik <ogulcancelik@gmail.com> | 2026-07-25 02:54:20 +0300 |
| commit | b33e5f973fc89381aa4ac72b3a31fa087ec66e23 (patch) | |
| tree | 454d9b504987052619d38157fbf7c8eb8eaff5d6 /src/app/input/mouse.rs | |
| parent | 0065a0ef344237c4e52bf391646e7495258ee180 (diff) | |
fix: copy retained mouse selections with keyboard shortcuts
refs #1782
Diffstat (limited to 'src/app/input/mouse.rs')
| -rw-r--r-- | src/app/input/mouse.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/app/input/mouse.rs b/src/app/input/mouse.rs index 2283b754..e0f89387 100644 --- a/src/app/input/mouse.rs +++ b/src/app/input/mouse.rs @@ -796,7 +796,7 @@ impl AppState { MouseEventKind::Up(MouseButton::Left) => { // Mouse-up either finishes a drag selection or releases after a - // double-click copy; the latter is already finalized. + // double-click word selection; the latter is already finalized. if let Some(selection) = self.selection.as_ref() { let was_click = selection.was_just_click(); let was_finalized = selection.is_finalized(); @@ -808,7 +808,7 @@ impl AppState { if was_click { self.selection = None; } else if was_finalized { - // Double-click copy already finalized this selection. + // Double-click already finalized this word selection. } else if self.copy_on_select { self.copy_selection(terminal_runtimes); } else if let Some(selection) = self.selection.as_mut() { |
