From ffd99de7ef478fc24c22c469fe27554c9178deae Mon Sep 17 00:00:00 2001
From: Victoria Brekenfeld <github@drakulix.de>
Date: Fri, 22 Dec 2023 15:40:11 +0000
Subject: [PATCH] winit: Close properly, if the window closes

---
 src/backend/winit.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/backend/winit.rs b/src/backend/winit.rs
index 7081c4b2..1e4134a4 100644
--- a/src/backend/winit.rs
+++ b/src/backend/winit.rs
@@ -348,6 +348,9 @@ impl State {
             }
             WinitEvent::Redraw => render_ping.ping(),
             WinitEvent::Input(event) => self.process_input_event(event, false),
+            WinitEvent::CloseRequested => {
+                self.common.should_stop = true;
+            }
             _ => {}
         };
     }