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

fix(mouse): middle or right clicks creating selection (#1372)

Browse source
This commit is contained in:
Thomas Linford 2022-05-03 13:03:55 +02:00 • committed by GitHub
parent 3177542674
commit a62743afe3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1622,8 +1622,9 @@ impl Tab {
self.write_to_active_terminal(mouse_event.into_bytes(), client_id); self.write_to_active_terminal(mouse_event.into_bytes(), client_id);
} else { } else {
// TODO: rename this method, it is used to forward release events to plugin panes // TODO: rename this method, it is used to forward release events to plugin panes
active_pane.end_selection(&relative_position, client_id); if let PaneId::Terminal(_) = active_pane.pid() {
if selecting && copy_on_release { if selecting && copy_on_release {
active_pane.end_selection(&relative_position, client_id);
let selected_text = active_pane.get_selected_text(); let selected_text = active_pane.get_selected_text();
active_pane.reset_selection(); active_pane.reset_selection();
@ -1631,6 +1632,9 @@ impl Tab {
self.write_selection_to_clipboard(&selected_text); self.write_selection_to_clipboard(&selected_text);
} }
} }
} else {
active_pane.end_selection(&relative_position, client_id);
}
self.selecting_with_mouse = false; self.selecting_with_mouse = false;
} }