X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgUtil.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgUtil.ml;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=260c2aceeffe03f4cfa39d5322ec5572e462ae0b;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gUtil.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gUtil.ml
deleted file mode 100644
index 260c2acee..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gUtil.ml
+++ /dev/null
@@ -1,80 +0,0 @@
-(* $Id$ *)
-
-open GObj
-
-class ['a] memo () = object
-  constraint 'a = #widget
-  val tbl = Hashtbl.create 7
-  method add (obj : 'a) =
-    Hashtbl.add tbl ~key:obj#get_id ~data:obj
-  method find (obj : widget) = Hashtbl.find tbl obj#get_id
-  method remove (obj : widget) = Hashtbl.remove tbl obj#get_id
-end
-
-let signal_id = ref 0
-
-let next_callback_id () : GtkSignal.id =
-  decr signal_id; Obj.magic (!signal_id : int)
-
-class ['a] signal () = object (self)
-  val mutable callbacks : (GtkSignal.id * ('a -> unit)) list = []
-  method callbacks = callbacks
-  method connect ~after ~callback =
-    let id = next_callback_id () in
-    callbacks <-
-      if after then callbacks @ [id,callback] else (id,callback)::callbacks;
-    id
-  method call arg =
-    List.exists callbacks ~f:
-      begin fun (_,f) ->
-        let old = GtkSignal.push_callback () in
-        try f arg; GtkSignal.pop_callback old
-        with exn -> GtkSignal.pop_callback old; raise exn
-      end;
-    ()
-  method disconnect key =
-    List.mem_assoc key callbacks &&
-    (callbacks <- List.remove_assoc key callbacks; true)
-end
-
-class virtual ml_signals disconnectors =
-  object (self)
-    val after = false
-    method after = {< after = true >}
-    val mutable disconnectors : (GtkSignal.id -> bool) list = disconnectors
-    method disconnect key =
-      ignore (List.exists disconnectors ~f:(fun f -> f key))
-  end
-
-class virtual add_ml_signals obj disconnectors =
-  object (self)
-    val mutable disconnectors : (GtkSignal.id -> bool) list = disconnectors
-    method disconnect key =
-      if List.exists disconnectors ~f:(fun f -> f key) then ()
-      else GtkSignal.disconnect obj key
-  end
-
-class ['a] variable_signals ~(set : 'a signal) ~(changed : 'a signal) =
-  object
-    inherit ml_signals [changed#disconnect; set#disconnect]
-    method changed = changed#connect ~after
-    method set = set#connect ~after
-  end
-
-class ['a] variable x =
-  object (self)
-    val changed = new signal ()
-    val set = new signal ()
-    method connect = new variable_signals ~set ~changed
-    val mutable x : 'a = x
-    method get = x
-    method set = set#call
-    method private equal : 'a -> 'a -> bool = (=)
-    method private real_set y =
-      let x0 = x in x <- y;
-      if changed#callbacks <> [] && not (self#equal x x0)
-      then changed#call y
-    initializer
-      ignore (set#connect ~after:false ~callback:self#real_set)
-  end
-