From a7d13e07369cc98351b2205fe451e76af2e6dc63 Mon Sep 17 00:00:00 2001 From: James Turner Date: Fri, 30 Sep 2022 09:36:20 +0100 Subject: [PATCH] Fix missing untie in NewGui::shutdown --- src/GUI/new_gui.cxx | 1 + 1 file changed, 1 insertion(+) diff --git a/src/GUI/new_gui.cxx b/src/GUI/new_gui.cxx index 9047eb707..f0985f92b 100644 --- a/src/GUI/new_gui.cxx +++ b/src/GUI/new_gui.cxx @@ -158,6 +158,7 @@ NewGUI::shutdown() _active_dialog.clear(); fgUntie("/sim/menubar/visibility"); + fgUntie("/sim/menubar/overlap-hide"); _menubar.reset(); _dialog_props.clear();