+ game.portals = game.portals_new;
+ game.map_geometry = game.map_geometry_new;
+ game.map_size = game.map_size_new;
+ game.map = game.map_new;
+ game.fov = game.fov_new;
+ tui.init_keys();
+ game.map_control = game.map_control_new;
+ explorer.annotations = explorer.annotations_new;