From 9e344ee64594e4932e11227a95e6efcafad1cd86 Mon Sep 17 00:00:00 2001
From: James Turner <zakalawe@mac.com>
Date: Sun, 20 Nov 2011 16:33:22 +0000
Subject: [PATCH] Avoid crash when reloading GUI from debug menu.

---
 src/GUI/new_gui.cxx | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/GUI/new_gui.cxx b/src/GUI/new_gui.cxx
index ef50d7731..c13456068 100644
--- 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