From 90554708842c2c09e1af70d0b07470bcc838dee2 Mon Sep 17 00:00:00 2001
From: Tobias Hunger <tobias.hunger@digia.com>
Date: Fri, 22 Nov 2013 17:00:38 +0100
Subject: [PATCH] MainWindow: Delete navigationwidget again

Change-Id: I4eecb9b93b4c490ea788da8c068a9a9fb9c3ac94
Reviewed-by: Eike Ziller <eike.ziller@digia.com>
---
 src/plugins/coreplugin/mainwindow.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/plugins/coreplugin/mainwindow.cpp b/src/plugins/coreplugin/mainwindow.cpp
index e28821914f3..26d31844ffc 100644
--- a/src/plugins/coreplugin/mainwindow.cpp
+++ b/src/plugins/coreplugin/mainwindow.cpp
@@ -306,6 +306,9 @@ MainWindow::~MainWindow()
     m_helpManager = 0;
     delete m_variableManager;
     m_variableManager = 0;
+
+    delete m_navigationWidget;
+    m_navigationWidget = 0;
 }
 
 bool MainWindow::init(QString *errorMessage)