]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gMain.ml
implemented and exported heal_header_name and heal_header_value
[helm.git] / 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