tk (builtin functions): tk initialisation functions, event bindings, extensions
value openTk : unit -> widget
value openTkClass : string -> widget
value openTkDisplayClass : string -> string -> widget
-
Initialisation of the Tk interface (should be called only once).
All functions will return the toplevel widget.
openTkClass "class" lets you specify the (resource) class
of the toplevel widget.
openTkDisplayClass "display" "class" lets you specify the display
and the resource class.
value mainLoop : unit -> unit
-
Enter the main loop for user interaction
value closeTk : unit -> unit
-
Terminates the user-interface interaction
value bind : widget -> (modifier list * xEvent) list -> bindAction -> unit
-
Binding events to widgets
value class_bind : string ->
(modifier list * xEvent) list -> bindAction -> unit
-
binding events for widget classes
value tag_bind : string ->
(modifier list * xEvent) list -> bindAction -> unit
-
binding events for widget classes
value add_fileinput : file_descr -> (unit -> unit) -> unit
value remove_fileinput : file_descr -> unit
value add_fileoutput : file_descr -> (unit -> unit) -> unit
value remove_fileoutput : file_descr -> unit
-
Callbacks on Unix file descriptors
value add_timer : int -> (unit -> unit) -> timer
value remove_timer : timer -> unit
-
Schedules callbacks