From ff217f68d6cf4b3e96c488207f3a9ac26a33509d Mon Sep 17 00:00:00 2001
From: Allanis <allanis@saracraft.net>
Date: Sun, 24 Feb 2013 17:58:48 +0000
Subject: [PATCH] [Fix] Ensure the game will pause when opening the pilot
 information window.

---
 src/menu.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/menu.c b/src/menu.c
index 57ce00f..897da9e 100644
--- a/src/menu.c
+++ b/src/menu.c
@@ -35,6 +35,7 @@ static void info_menu_close(char* str);
 // Small ingame menu.
 void menu_small(void) {
   if(menu_isOpen(MENU_SMALL)) return; // It's already open..
+	pause();
 
   unsigned int wid;
 
@@ -49,7 +50,6 @@ void menu_small(void) {
         BUTTON_WIDTH, BUTTON_HEIGHT,
         "btnResume", "Resume", menu_small_close);
   
-  pause();
 	menu_Open(MENU_SMALL);
 }
 
@@ -76,6 +76,7 @@ static void exit_game(void) {
 // Info menu.
 void info_menu(void) {
 	if(menu_isOpen(MENU_INFO)) return;
+	pause();
 
 	char str[128];;
 	unsigned int wid;
@@ -121,5 +122,6 @@ static void info_menu_close(char* str) {
 		window_destroy(window_get("Info"));
 	
 	menu_Close(MENU_INFO);
+	unpause();
 }