diff options
| author | JJ Liebig <jonathan.liebig@gmail.com> | 2026-09-05 14:30:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-09-05 14:30:00 +0200 |
| commit | af7e189bd6749e7ecfa67d8c24f79c1bb1a498b0 (patch) | |
| tree | 446a5543a3be41332ee3f24d306fba14fd9b0da5 /src/client/shell/state.rs | |
| parent | 3a822e8106b45745f9d463d9167033f977353d9f (diff) | |
fix: retain mouse selections across unrelated terminal output (#3641)
Diffstat (limited to 'src/client/shell/state.rs')
| -rw-r--r-- | src/client/shell/state.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/client/shell/state.rs b/src/client/shell/state.rs index 6b00e6c3..60307f66 100644 --- a/src/client/shell/state.rs +++ b/src/client/shell/state.rs @@ -1564,8 +1564,7 @@ impl ClientShellState { return false; }; previous.content_revision != next.content_revision - && (!selection.is_in_progress() - || !previous.content_revision.is_multiple_of(2) + && (!previous.content_revision.is_multiple_of(2) || !next.content_revision.is_multiple_of(2) || previous.inner_rect.width != next.inner_rect.width || previous.inner_rect.height != next.inner_rect.height |