# HG changeset patch # User Torsten Lilge # Date 1644268026 -3600 # Node ID 0a082e1b7422ac418883b1c76e0800472dd72c14 # Parent ef8b02fc458892f24b0de817cee51a497abaebe4 fix saving dock widget settings with exp. terminal widget (bug #61996) * main-window.cc (make_dock_widget_connections): connect close_gui_signal to save_settings in the docl widgets diff -r ef8b02fc4588 -r 0a082e1b7422 libgui/src/main-window.cc --- a/libgui/src/main-window.cc Mon Feb 07 20:20:38 2022 +0100 +++ b/libgui/src/main-window.cc Mon Feb 07 22:07:06 2022 +0100 @@ -467,6 +467,11 @@ // close the main window without exiting the application. connect (qApp, &QApplication::aboutToQuit, dw, &octave_dock_widget::save_settings); + + // The following is required when the exp. terminal widget is used + // and the main window is closed (no exit via interpreter) + connect (this, &main_window::close_gui_signal, + dw, &octave_dock_widget::save_settings); } bool main_window::command_window_has_focus (void) const