/usr/lib/ocaml/lablgtk2/gUtil.ml is in liblablgtk2-ocaml-dev 2.16.0+dfsg-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 | (**************************************************************************)
(* Lablgtk *)
(* *)
(* This program is free software; you can redistribute it *)
(* and/or modify it under the terms of the GNU Library General *)
(* Public License as published by the Free Software Foundation *)
(* version 2, with the exception described in file COPYING which *)
(* comes with the library. *)
(* *)
(* This program is distributed in the hope that it will be useful, *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *)
(* GNU Library General Public License for more details. *)
(* *)
(* You should have received a copy of the GNU Library General *)
(* Public License along with this program; if not, write to the *)
(* Free Software Foundation, Inc., 59 Temple Place, Suite 330, *)
(* Boston, MA 02111-1307 USA *)
(* *)
(* *)
(**************************************************************************)
(* $Id$ *)
open StdLabels
open GObj
let print_widget ppf (o : #widget) =
Format.fprintf ppf "<%s@@0x%x>" o#misc#get_type o#get_oid
class ['a] memo () = object
val tbl : (int, 'a) Hashtbl.t = Hashtbl.create 7
method add (obj : 'a) = Hashtbl.add tbl obj#get_oid obj
method find (obj : widget) = Hashtbl.find tbl obj#get_oid
method remove (obj : widget) = Hashtbl.remove tbl obj#get_oid
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 ~map: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
|