The dialog of the settings from the random map generator...

...was refreshed every 10ms which used a lot of cpu. Now do it only
every 100ms.
This commit is contained in:
Ali El Gariani 2008-02-02 03:55:32 +00:00
parent cb20acdd71
commit efedfafd56

View file

@ -312,7 +312,7 @@ void default_map_generator::user_config(display& disp)
update_rect(xpos,ypos,width,height);
disp.update_display();
disp.delay(10);
disp.delay(100);
events::pump();
}