changeset 16380:ac9db42ef23e

don't delete terminal widget, it's managed by terminal_dock_widget * main-window.cc (main_window::~main_window): Don't delete _terminal.
author John W. Eaton <jwe@octave.org>
date Wed, 27 Mar 2013 18:35:52 -0400
parents 4bb1b82076e5
children f33dcbd6a005
files libgui/src/main-window.cc
diffstat 1 files changed, 0 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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;