Remove GUI Editor menu when unloading the plugin.

--HG--
branch : gsoc2014-dfighter

code/studio/src/plugins/gui_editor/gui_editor_window.cpp

@@ -55,6 +55,7 @@ namespace GUIEditor
 	GUIEditorWindow::GUIEditorWindow(QWidget *parent) :
 	QMainWindow(parent)
 	{
+		menu = NULL;
 		m_ui.setupUi(this);
 		messageProcessor = new CEditorMessageProcessor;
 		m_undoStack   = new QUndoStack(this);
@@ -112,6 +113,8 @@ namespace GUIEditor
 	{
 		writeSettings();
 
+		removeMenus();
+
 		delete messageProcessor;
 		messageProcessor = NULL;
 
@@ -382,8 +385,16 @@ namespace GUIEditor
 			a = new QAction( "Add Widget", this );
 			connect( a, SIGNAL( triggered( bool ) ), this, SLOT( onAddWidgetClicked() ) );
 			m->addAction( a );
+
+			menu = m;
 		}
 	}
+
+	void GUIEditorWindow::removeMenus()
+	{
+		delete menu;
+		menu = NULL;
+	}
 	
 	void GUIEditorWindow::readSettings()
 	{

code/studio/src/plugins/gui_editor/gui_editor_window.h

@@ -26,6 +26,8 @@
 
 class QtTreePropertyBrowser;
 
+class QMenu;
+
 namespace GUIEditor
 {
 
@@ -66,6 +68,7 @@ private Q_SLOTS:
 
 private:
 		void createMenus();
+		void removeMenus();
 
 		void readSettings();
 
@@ -88,6 +91,8 @@ private:
 		CPropBrowserCtrl browserCtrl;
 		QString currentProject;
 		QString currentProjectFile;
+
+		QMenu *menu;
 	};
 
 }