kraptor (0.0.20040403-6) 03_static_menu.patch

diff -ruN kraptor-0.0.20040403.orig/src/menu.c kraptor-0.0.20040403.new/src/menu.c
--- kraptor-0.0.20040403.orig/src/menu.c	2003-07-27 04:22:00.000000000 +0200
+++ kraptor-0.0.20040403.new/src/menu.c	2006-09-22 22:46:31.000000000 +0200
@@ -146,7 +146,7 @@
 static void hacer_el_menu_principal_helper()
 {
             // comenzar un nuevo juego
-            static int nuevo_juego_mnu()
+            int nuevo_juego_mnu()
             {
                 DIALOG skill_select_dlg[] =
                 {
@@ -173,14 +173,14 @@
             }
 
             // Carga un juego
-            static int cargar_mnu()
+            int cargar_mnu()
             {
                menu_seleccionado = MNU_S_LOAD_GAME;
                
                return D_CLOSE;
             }
             
-            static int salir_mnu()
+            int salir_mnu()
             {
               menu_seleccionado = MNU_S_QUIT_GAME;
             
@@ -188,7 +188,7 @@
             }
             
             /* Permite seleccionar un nuevo modo de video */
-            static int choose_video_mnu()
+            int choose_video_mnu()
             {
              int card = 0, w = SCREEN_W, h = SCREEN_H;
             
@@ -206,7 +206,7 @@
             }
 
             /* Acerca de... */
-            static int acercade_proggy_mnu()
+            int acercade_proggy_mnu()
             {
                 DIALOG acerca_de_dlg[] =    
                 {
@@ -241,14 +241,14 @@
             }
 
             /* idioma -> espa¤ol */
-            static int cambia_espanol(void)
+            int cambia_espanol(void)
             {
               menu_seleccionado = MNU_S_CFG_SPANISH;
               return D_CLOSE;
             }
 
             /* idioma -> ingles */
-            static int cambia_ingles(void)
+            int cambia_ingles(void)
             {
               menu_seleccionado = MNU_S_CFG_ENGLISH;
               return D_CLOSE;