* fixed bug of multiple selections

[helm.git] / helm / DEVEL / lablgtkmathview / gMathView.mli

diff --git a/helm/DEVEL/lablgtkmathview/gMathView.mli b/helm/DEVEL/lablgtkmathview/gMathView.mli
index 9ec204d51ac07ac5fcd6f804d1ccdeb0b6ce3995..bf5b56e2a8a42fe61bc05af3d178f970d4ac5b1c 100644 (file)
--- 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