From 798fc7a308ff852112937ac3f20149856aed91e3 Mon Sep 17 00:00:00 2001 From: Nicolas Mazzon Date: Wed, 17 Apr 2024 11:56:04 +0200 Subject: [PATCH] Fix weird alt-tab edge case. --- gui/src/panels/mod.rs | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/gui/src/panels/mod.rs b/gui/src/panels/mod.rs index 57403e2..0f1daa9 100644 --- a/gui/src/panels/mod.rs +++ b/gui/src/panels/mod.rs @@ -373,15 +373,16 @@ impl Panels { None => continue, }; - let mut active_idx = active_tab.0 as usize; - for child in tabs.children.iter() { + let mut active_idx = 0; + for (idx, child) in tabs.children.iter().enumerate() { if *child == active_tab { - active_idx = child.0 as usize; + active_idx = idx; } } - let next_id = (active_idx + 1) % (tabs.children.len() + 1); - tabs.set_active(TileId(next_id as u64)); + let next_idx = (active_idx + 1) % (tabs.children.len()); + let next_id = tabs.children[next_idx]; + tabs.set_active(next_id); break; } }