From 12857672f62eb475e7b2508b836a45fec5f47073 Mon Sep 17 00:00:00 2001
From: Ian Douglas Scott <idscott@system76.com>
Date: Thu, 30 Oct 2025 13:36:37 -0700
Subject: [PATCH] Use `shift_remove()` instead of `retain()` in
 `unmap_element()`

---
 src/shell/workspace.rs | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/shell/workspace.rs b/src/shell/workspace.rs
index 26229335..698f1b84 100644
--- a/src/shell/workspace.rs
+++ b/src/shell/workspace.rs
@@ -583,10 +583,9 @@ impl Workspace {
             None
         };
 
-        self.focus_stack
-            .0
-            .values_mut()
-            .for_each(|set| set.retain(|m| m != mapped));
+        self.focus_stack.0.values_mut().for_each(|set| {
+            set.shift_remove(mapped);
+        });
 
         if let Some(pos) = self.minimized_windows.iter().position(|m| m == mapped) {
             let state = self.minimized_windows.remove(pos);