fix(ui): sort multiple ui cursors (#1719)

* fix(ui): stable-sort multiple ui cursors

* style(clippy): make clippy happy
This commit is contained in:
Aram Drevekenin 2022-09-09 12:30:58 +02:00 committed by GitHub
parent 4d1ecabdbf
commit d5764fb225
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -26,11 +26,12 @@ impl<'a> PaneContentsAndUi<'a> {
multiple_users_exist_in_session: bool,
z_index: Option<usize>,
) -> Self {
let focused_clients: Vec<ClientId> = active_panes
let mut focused_clients: Vec<ClientId> = active_panes
.iter()
.filter(|(_c_id, p_id)| **p_id == pane.pid())
.map(|(c_id, _p_id)| *c_id)
.collect();
focused_clients.sort_unstable();
PaneContentsAndUi {
pane,
output,