From 67a56029676839ccba47a160dbc99304c0b14266 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Thu, 1 Aug 2019 21:36:14 +0200
Subject: [PATCH] Platform: make BasicScreen destructor virtual.

---
 src/Magnum/Platform/Screen.h | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/Magnum/Platform/Screen.h b/src/Magnum/Platform/Screen.h
index a72e4ebeb..6d8ccd1b3 100644
--- a/src/Magnum/Platform/Screen.h
+++ b/src/Magnum/Platform/Screen.h
@@ -214,7 +214,10 @@ template<class Application> class BasicScreen:
         #endif
 
         explicit BasicScreen();
-        ~BasicScreen();
+
+        /* A common use case is a list of screen derivatives, so allow deleting
+           them through a base pointer */
+        virtual ~BasicScreen();
 
         /** @brief Events propagated to this screen */
         PropagatedEvents propagatedEvents() const { return _propagatedEvents; }