changeset 26750:a3dfdbb9d8c5

maint: Merge stable to default.
author John W. Eaton <jwe@octave.org>
date Tue, 19 Feb 2019 21:33:23 +0000
parents bbc6b88aacc1 (current diff) 3d0f687e4a21 (diff)
children 2c4ad1958cab
files
diffstat 1 files changed, 5 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/documentation.cc	Tue Feb 19 17:53:40 2019 +0000
+++ b/libgui/src/documentation.cc	Tue Feb 19 21:33:23 2019 +0000
@@ -112,10 +112,11 @@
                                   "documentation viewer. Only help texts in\n"
                                   "the Command Window will be available."));
 #endif
-        if (m_help_engine)
-          delete m_help_engine;
-        m_help_engine = 0;
-        return;
+
+        disconnect (m_help_engine, 0, 0, 0);
+
+        delete m_help_engine;
+        m_help_engine = nullptr;
       }
 
     // The browser