filename | src/gui/gui.c |
changeset | 23:1ec3acd0594d |
prev | 18:9a1b5d75703f |
next | 27:1ef09a52cd1e |
author | nkeynes |
date | Fri Dec 23 11:44:55 2005 +0000 (18 years ago) |
permissions | -rw-r--r-- |
last change | Start of "real" time slices, general structure in place now |
file | annotate | diff | log | raw |
1.1 --- a/src/gui/gui.c Thu Dec 15 13:33:14 2005 +00001.2 +++ b/src/gui/gui.c Fri Dec 23 11:44:55 2005 +00001.3 @@ -43,6 +43,13 @@1.4 fixed_list_font = pango_font_description_from_string("Courier 10");1.5 }1.7 +void gui_run_slice( int millisecs )1.8 +{1.9 + while( gtk_events_pending() )1.10 + gtk_main_iteration();1.11 + update_icount(main_debug);1.12 +}1.13 +1.14 void update_gui(void) {1.15 update_registers(main_debug);1.16 update_icount(main_debug);
.