Avoid crash when reloading GUI from debug menu.

diff --git a/src/GUI/new_gui.cxx b/src/GUI/new_gui.cxx
index ef50d7731138e6b05214a8a8500ec7eca9100770..c13456068ba39ca860d08ff393669c0e021a3b4c 100644 (file)
--- a/src/GUI/new_gui.cxx
+++ b/src/GUI/new_gui.cxx
@@ -100,11 +100,7 @@ NewGUI::reset (bool reload)
     setStyle();
 
     unbind();
-#if defined(SG_MAC)
-    if (reload) {
-        _menubar.reset(new FGCocoaMenuBar);
-    }
-#else
+#if !defined(SG_MAC)
     _menubar.reset(new FGPUIMenuBar);
 #endif