+++ /dev/null
-(* $Id$ *)
-
-open Gtk
-open GtkMain
-open GObj
-
-module Main : sig
- val init : unit -> string (* returns the locale name *)
- val main : unit -> unit
- val quit : unit -> unit
- val version : int * int * int
- val flush : unit -> unit
-end = Main
-
-module Grab = struct
- open Grab
- let add (w : #widget) = add w#as_widget
- let remove (w : #widget) = remove w#as_widget
- let get_current () = new widget (get_current ())
-end
-
-module Timeout : sig
- type id
- val add : ms:int -> callback:(unit -> bool) -> id
- val remove : id -> unit
-end = Timeout