- // FIXME: shouldn't be needed if GameSession doesn't relay on global variables
- // reset tux
- scroll_x = 0;
- //titletux.level_begin();
- update_time = st_get_ticks();
+ process_options_menu();
+ }
+ else if(menu == load_game_menu)
+ {
+ if (process_load_game_menu())
+ {
+ // FIXME: shouldn't be needed if GameSession doesn't relay on global variables
+ // reset tux
+ scroll_x = 0;
+ //titletux.level_begin();
+ update_time = st_get_ticks();
+ }
+ }
+ else if(menu == contrib_menu)
+ {
+ check_contrib_menu();
+ }
+ else if (menu == contrib_subset_menu)
+ {
+ check_contrib_subset_menu();