From 15a2076a46ba2875038fca1ef561e097903abd7a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Karsten=20Ball=C3=BCder?= <ballueder@usa.net>
Date: Mon, 26 Jul 1999 15:49:28 +0000
Subject: [PATCH] destructor for wxMenu deletes menu now

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@3151 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
---
 src/gtk/menu.cpp  | 4 +++-
 src/gtk1/menu.cpp | 4 +++-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/gtk/menu.cpp b/src/gtk/menu.cpp
index 10656f3..64c2b57 100644
--- a/src/gtk/menu.cpp
+++ b/src/gtk/menu.cpp
@@ -683,7 +683,9 @@ wxMenu::Init( const wxString& title,
 
 wxMenu::~wxMenu()
 {
-    /* how do we delete an item-factory ? */
+   /* how do we delete an item-factory ? */
+   gtk_widget_destroy( m_menu );
+
 }
 
 void wxMenu::SetTitle( const wxString& title )
diff --git a/src/gtk1/menu.cpp b/src/gtk1/menu.cpp
index 10656f3..64c2b57 100644
--- a/src/gtk1/menu.cpp
+++ b/src/gtk1/menu.cpp
@@ -683,7 +683,9 @@ wxMenu::Init( const wxString& title,
 
 wxMenu::~wxMenu()
 {
-    /* how do we delete an item-factory ? */
+   /* how do we delete an item-factory ? */
+   gtk_widget_destroy( m_menu );
+
 }
 
 void wxMenu::SetTitle( const wxString& title )
-- 
2.7.4