Use shift_remove() instead of retain() in unmap_element()
This commit is contained in:
parent
f230a23bd0
commit
12857672f6
1 changed files with 3 additions and 4 deletions
|
|
@ -583,10 +583,9 @@ impl Workspace {
|
||||||
None
|
None
|
||||||
};
|
};
|
||||||
|
|
||||||
self.focus_stack
|
self.focus_stack.0.values_mut().for_each(|set| {
|
||||||
.0
|
set.shift_remove(mapped);
|
||||||
.values_mut()
|
});
|
||||||
.for_each(|set| set.retain(|m| m != mapped));
|
|
||||||
|
|
||||||
if let Some(pos) = self.minimized_windows.iter().position(|m| m == mapped) {
|
if let Some(pos) = self.minimized_windows.iter().position(|m| m == mapped) {
|
||||||
let state = self.minimized_windows.remove(pos);
|
let state = self.minimized_windows.remove(pos);
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue