diff options
Diffstat (limited to 'otherlibs/labltk/support/cltkTimer.c')
-rw-r--r-- | otherlibs/labltk/support/cltkTimer.c | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/otherlibs/labltk/support/cltkTimer.c b/otherlibs/labltk/support/cltkTimer.c index 8de594314..a3d3d3cac 100644 --- a/otherlibs/labltk/support/cltkTimer.c +++ b/otherlibs/labltk/support/cltkTimer.c @@ -17,20 +17,18 @@ #include <tcl.h> #include <tk.h> -#include <caml/mlvalues.h> +#include <mlvalues.h> +#include <callback.h> #include "camltk.h" /* Basically the same thing as FileProc */ -void TimerProc (clientdata) - ClientData clientdata; +void TimerProc (ClientData clientdata) { callback2(*handler_code,Val_long(clientdata),Val_int(0)); } -value camltk_add_timer(milli, cbid) /* ML */ - value milli; - value cbid; +value camltk_add_timer(value milli, value cbid) /* ML */ { CheckInit(); /* look at tkEvent.c , Tk_Token is an int */ @@ -38,8 +36,7 @@ value camltk_add_timer(milli, cbid) /* ML */ (ClientData) (Int_val(cbid))))); } -value camltk_rem_timer(token) /* ML */ - value token; +value camltk_rem_timer(value token) /* ML */ { Tcl_DeleteTimerHandler((Tcl_TimerToken) Int_val(token)); return Val_unit; |