#define SUPERTUX_MISC_H
#include "app/setup.h"
-#include "app/globals.h"
#include "resources.h"
#include "gui/menu.h"
#include "utils/configfile.h"
MNID_MUSIC,
MNID_SHOWFPS
};
-
+
/* Handle changes made to global settings in the options menu. */
-void process_options_menu(void);
+void process_options_menu();
/* Create and setup menus. */
-void st_menu(void);
+void st_menu();
void st_menu_free();
#endif //SUPERTUX_MISC_H