From d5a15419e98cf31c173fff5a10f97e36958d994f Mon Sep 17 00:00:00 2001
From: Héctor Ramón Jiménez <hector0193@gmail.com>
Date: Thu, 5 Nov 2020 04:11:49 +0100
Subject: Drop `UserInterface` manually after exit request

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

(limited to 'winit/src')

diff --git a/winit/src/application.rs b/winit/src/application.rs
index 07108249..3a41a0e4 100644
--- a/winit/src/application.rs
+++ b/winit/src/application.rs
@@ -383,6 +383,9 @@ async fn run_instance<A, E, C>(
             _ => {}
         }
     }
+
+    // Manually drop the user interface
+    drop(ManuallyDrop::into_inner(user_interface));
 }
 
 /// Returns true if the provided event should cause the [`Application`] to
-- 
cgit