From 4c622ba0661b417f4ef1c962da08df29f31fb936 Mon Sep 17 00:00:00 2001
From: Christoph Oelckers <coelckers@users.noreply.github.com>
Date: Mon, 10 Jun 2019 12:06:03 +0200
Subject: [PATCH] - fixed: DeinitMenus must explicitly destroy the active menu
 before taking down the descriptors.

Otherwise the menu will only be collected by the garbage collector and no longer find all relevant data.
---
 src/menu/menudef.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/menu/menudef.cpp b/src/menu/menudef.cpp
index a3bc15259..15205c132 100644
--- a/src/menu/menudef.cpp
+++ b/src/menu/menudef.cpp
@@ -136,6 +136,7 @@ DEFINE_ACTION_FUNCTION(FOptionValues, GetText)
 
 void DeinitMenus()
 {
+	if (CurrentMenu) CurrentMenu->Destroy();
 	{
 		FOptionMap::Iterator it(OptionValues);