From b54e30a61287e801b081567f641e52008affafac Mon Sep 17 00:00:00 2001
From: vanhofen <vanhofen@gmx.de>
Date: Thu, 6 Mar 2014 12:45:48 +0100
Subject: [PATCH] user_menu: add some pointers to delete

Origin commit data
------------------
Commit: https://github.com/neutrino-images/ni-neutrino/commit/7c19f53e4b2757b379c7d9b6c076ebbef623c3fe
Author: vanhofen <vanhofen@gmx.de>
Date: 2014-03-06 (Thu, 06 Mar 2014)

Origin message was:
------------------
- user_menu: add some pointers to delete
---
 src/gui/user_menue.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/gui/user_menue.cpp b/src/gui/user_menue.cpp
index e76c25ee5..91e1aed20 100644
--- a/src/gui/user_menue.cpp
+++ b/src/gui/user_menue.cpp
@@ -462,7 +462,9 @@ bool CUserMenu::showUserMenu(int button)
 	if (imageinfo)			 delete imageinfo;
 	if (boxinfo)			 delete boxinfo;
 	if (games)                       delete games;
+	if (tools)                       delete tools;
 	if (scripts)                     delete scripts;
+	if (lua)                         delete lua;
 	if (menu)                        delete menu;
 
 	InfoClock->enableInfoClock(true);