package labltk

  1. Overview
  2. Docs
package labltk
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception TkError of string
val debug : bool ref
type tkArgs =
  1. | TkToken of string
  2. | TkTokenList of tkArgs list
  3. | TkQuote of tkArgs
val splitlist : string -> string list
val add_destroy_hook : (Widget.any Widget.widget -> unit) -> unit
val default_display : unit -> string
val opentk : unit -> Widget.toplevel Widget.widget
val keywords : (string * Arg.spec * string) list
val opentk_with_args : string list -> Widget.toplevel Widget.widget
val openTk : ?display:string -> ?clas:string -> unit -> Widget.toplevel Widget.widget
val openTkClass : string -> Widget.toplevel Widget.widget
val openTkDisplayClass : string -> string -> Widget.toplevel Widget.widget
val closeTk : unit -> unit
val finalizeTk : unit -> unit
val mainLoop : unit -> unit
type event_flag =
  1. | DONT_WAIT
  2. | X_EVENTS
  3. | FILE_EVENTS
  4. | TIMER_EVENTS
  5. | IDLE_EVENTS
  6. | ALL_EVENTS
val do_one_event : event_flag list -> bool
val do_pending : unit -> unit
val tkEval : tkArgs array -> string
val tkCommand : tkArgs array -> unit
val tkreturn : string -> unit
type cbid
type callback_buffer = string list
val callback_naming_table : (cbid, callback_buffer -> unit) Hashtbl.t
val callback_memo_table : (Widget.any Widget.widget, cbid) Hashtbl.t
val new_function_id : unit -> cbid
val string_of_cbid : cbid -> string
val register_callback : 'a Widget.widget -> callback:(callback_buffer -> unit) -> string
val clear_callback : cbid -> unit
val remove_callbacks : 'a Widget.widget -> unit
val cTKtoCAMLwidget : string -> Widget.any Widget.widget
val cCAMLtoTKwidget : 'a Widget.widget -> tkArgs
val register : string -> callback:(callback_buffer -> unit) -> unit
val prerr_cbid : cbid -> unit