--- a/src/gui/gui.c	Sat Aug 21 06:15:49 2004 +0000
+++ b/src/gui/gui.c	Thu Dec 08 13:38:00 2005 +0000
@@ -45,8 +45,8 @@
 }
 
 void update_gui(void) {
-    update_registers();
-    update_icount();
+    update_registers(main_debug);
+    update_icount(main_debug);
     update_mmr_win();
     dump_win_update_all();
 }