From 75c4109373fecf527b0d93daa1b8df6f4250f068 Mon Sep 17 00:00:00 2001
From: edouard <m@edouard.paris>
Date: Mon, 27 Mar 2023 16:04:08 +0200
Subject: [PATCH] gui: filter unused events

---
 gui/src/main.rs | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/gui/src/main.rs b/gui/src/main.rs
index 5a38fe0f..55c84cdc 100644
--- a/gui/src/main.rs
+++ b/gui/src/main.rs
@@ -241,7 +241,17 @@ impl Application for GUI {
                 State::App(v) => v.subscription().map(|msg| Message::Run(Box::new(msg))),
                 State::Launcher(v) => v.subscription().map(|msg| Message::Launch(Box::new(msg))),
             },
-            iced_native::subscription::events().map(Self::Message::Event),
+            iced_native::subscription::events_with(|event, _status| {
+                if matches!(
+                    event,
+                    iced::Event::Window(iced_native::window::Event::CloseRequested)
+                ) {
+                    Some(event)
+                } else {
+                    None
+                }
+            })
+            .map(Self::Message::Event),
         ])
     }