This commit was manufactured by cvs2svn to create branch 'init'.

[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gMain.ml

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gMain.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gMain.ml
deleted file mode 100644 (file)
index 811f490..0000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gMain.ml
+++ /dev/null
@@ -1,26 +0,0 @@
-(* $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