move_grab: End correctly when removed externally

2023-12-11 16:11:07 +00:00 · 2023-12-11 16:11:07 +00:00 · e347076145
commit e347076145
parent 131ab8fe9e
4 changed files with 102 additions and 87 deletions
--- a/src/shell/mod.rs
+++ b/src/shell/mod.rs
@ -2007,6 +2007,7 @@ impl Shell {
                        start_data,
                        active_hint as u8,
                        release,
+                        state.common.event_loop_handle.clone(),
                    ) {
                        let handle = workspace.handle;
                        state