From 9748bb586ea3aae3c6928714f879b3c4ea4bb512 Mon Sep 17 00:00:00 2001
From: nehalmistry <>
Date: Mon, 17 Jun 2002 16:34:45 +0000
Subject: [PATCH] fixed crash problem

---
 src/ui/menus.cpp | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/src/ui/menus.cpp b/src/ui/menus.cpp
index c9c85b53a..ccc0bf8a7 100644
--- a/src/ui/menus.cpp
+++ b/src/ui/menus.cpp
@@ -1450,10 +1450,7 @@ global void SoundOptions(void)
 
 local void GlobalOptions(void)
 {
-    if (InterfaceState == IfaceStateMenu)
-	ProcessMenu("menu-global-options", 0);
-    else
-	ProcessMenu("menu-global-options", 1);
+    ProcessMenu("menu-global-options", 1);
 }
 
 local void InitGlobalOptions(Menuitem *mi __attribute__((unused)))
@@ -1517,6 +1514,7 @@ local void SetRes640(Menuitem *mi __attribute__((unused)))
 	ToggleFullScreen();
 #endif
     }
+    EndMenu();
     GlobalOptions();
 }
 
@@ -1540,6 +1538,7 @@ local void SetRes800(Menuitem *mi __attribute__((unused)))
 	ToggleFullScreen();
 #endif
     }
+    EndMenu();
     GlobalOptions();
 }
 
@@ -1563,6 +1562,7 @@ local void SetRes1024(Menuitem *mi __attribute__((unused)))
 	ToggleFullScreen();
 #endif
     }
+    EndMenu();
     GlobalOptions();
 }
 
@@ -1586,6 +1586,7 @@ local void SetRes1280(Menuitem *mi __attribute__((unused)))
 	ToggleFullScreen();
 #endif
     }
+    EndMenu();
     GlobalOptions();
 }
 
@@ -1609,24 +1610,28 @@ local void SetRes1600(Menuitem *mi __attribute__((unused)))
 	ToggleFullScreen();
 #endif
     }
+    EndMenu();
     GlobalOptions();
 }
 
 local void SetFullscreen(Menuitem *mi __attribute__((unused)))
 {
     ToggleFullScreen();
+    EndMenu();
     GlobalOptions();
 }
 
 local void SetShadowFogAlpha(Menuitem *mi __attribute__((unused)))
 {
     OriginalFogOfWar=1;
+    EndMenu();
     GlobalOptions();
 }
 
 local void SetShadowFogGray(Menuitem *mi __attribute__((unused)))
 {
     OriginalFogOfWar=0;
+    EndMenu();
     GlobalOptions();
 }