1.1 --- a/src/gui/gui.c Tue Mar 14 12:45:53 2006 +0000
1.2 +++ b/src/gui/gui.c Thu Mar 16 12:41:59 2006 +0000
1.5 - * $Id: gui.c,v 1.10 2006-03-14 12:45:53 nkeynes Exp $
1.6 + * $Id: gui.c,v 1.11 2006-03-15 13:17:23 nkeynes Exp $
1.8 * Top-level GUI (GTK2) module.
1.10 @@ -115,12 +115,18 @@
1.14 +uint32_t gtk_gui_nanos = 0;
1.16 uint32_t gtk_gui_run_slice( uint32_t nanosecs )
1.18 - while( gtk_events_pending() )
1.19 - gtk_main_iteration();
1.20 - update_icount(main_debug);
1.22 + gtk_gui_nanos += nanosecs;
1.23 + if( gtk_gui_nanos > 10000000 ) { /* About 10/sec */
1.24 + gtk_gui_nanos = 0;
1.25 + while( gtk_events_pending() )
1.26 + gtk_main_iteration();
1.27 + update_icount(main_debug);
1.32 void gtk_gui_update(void) {