# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1364423752 14400
# Node ID ac9db42ef23e697e41dffd767be42b8bb37131f3
# Parent  4bb1b82076e52116c3af2e313f11f002dedf1f00
don't delete terminal widget, it's managed by terminal_dock_widget

* main-window.cc (main_window::~main_window): Don't delete _terminal.

diff --git a/libgui/src/main-window.cc b/libgui/src/main-window.cc
--- a/libgui/src/main-window.cc
+++ b/libgui/src/main-window.cc
@@ -78,9 +78,6 @@
   if (_terminal_dock_widget)
     delete _terminal_dock_widget;
 
-  if (_terminal)
-    delete _terminal;
-
   if (_status_bar)
     delete _status_bar;