pogmommy/zellij
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(mouse): selection not ending on mouse release with copy_on_select set to false (#2086)

Browse source
This commit is contained in:
Thomas Linford 2023-01-12 18:38:12 +01:00 • committed by GitHub
parent 3da1cbf95c
commit 5227909846
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
zellij-server/src/tab/mod.rs
View file

@ -2371,8 +2371,9 @@ impl Tab {
} else { } else {
let relative_position = active_pane.relative_position(position); let relative_position = active_pane.relative_position(position);
if let PaneId::Terminal(_) = active_pane.pid() { if let PaneId::Terminal(_) = active_pane.pid() {
if selecting && copy_on_release { if selecting {
active_pane.end_selection(&relative_position, client_id); active_pane.end_selection(&relative_position, client_id);
if copy_on_release {
let selected_text = active_pane.get_selected_text(); let selected_text = active_pane.get_selected_text();
active_pane.reset_selection(); active_pane.reset_selection();
@ -2381,7 +2382,9 @@ impl Tab {
.with_context(err_context)?; .with_context(err_context)?;
} }
} }
}
} else { } else {
// notify the release event to a plugin pane, should be renamed
active_pane.end_selection(&relative_position, client_id); active_pane.end_selection(&relative_position, client_id);
} }