Add up to 4 emulator timers
[emu8051.git] / src / gtk / timerwin.h
index 4b6220b..e61ea0c 100644 (file)
@@ -25,7 +25,7 @@
 #include <gtk/gtk.h>
 
 GtkWidget *
-timerwin_init(void);
+timerwin_init(int id);
 
 void
 timerwin_update(void);