helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gMain.ml

   1 (* $Id$ *)
   2
   3 open Gtk
   4 open GtkMain
   5 open GObj
   6
   7 module Main : sig
   8   val init : unit -> string (* returns the locale name *)
   9   val main : unit -> unit
  10   val quit : unit -> unit
  11   val version : int * int * int
  12   val flush : unit -> unit
  13 end = Main
  14
  15 module Grab = struct
  16   open Grab
  17   let add (w : #widget) = add w#as_widget
  18   let remove (w : #widget) = remove w#as_widget
  19   let get_current () = new widget (get_current ())
  20 end
  21
  22 module Timeout : sig
  23   type id
  24   val add : ms:int -> callback:(unit -> bool) -> id
  25   val remove : id -> unit
  26 end = Timeout