X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathView.mli;h=bf5b56e2a8a42fe61bc05af3d178f970d4ac5b1c;hb=6a9a80d3c988c355e8067013cb9d34d92404454b;hp=9ec204d51ac07ac5fcd6f804d1ccdeb0b6ce3995;hpb=5c99f78f510b49bc1bcf95d430c98bb18826c63f;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gMathView.mli b/helm/DEVEL/lablgtkmathview/gMathView.mli
index 9ec204d51..bf5b56e2a 100644
--- a/helm/DEVEL/lablgtkmathview/gMathView.mli
+++ b/helm/DEVEL/lablgtkmathview/gMathView.mli
@@ -32,15 +32,15 @@ class math_view_signals :
     val after: bool
     val obj: 'b Gtk.obj
     method click :
-      callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+      callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id
     method element_over :
-      callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+      callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id
     method select_begin :
-      callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+      callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id
     method select_over :
-      callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+      callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id
     method select_end :
-      callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+      callback:(Gdome.element option * int * int * int -> unit) -> GtkSignal.id
     method select_abort :
       callback:(unit -> unit) -> GtkSignal.id
   end