* binding update to recognize the new event scheme generated by

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

diff --git a/helm/DEVEL/lablgtkmathview/gMathView.mli b/helm/DEVEL/lablgtkmathview/gMathView.mli
index 0c380ad60a94ac018577df4441192e51f4ec2e7d..e52a7a484c7d0a6cecc0bf9cc961492addf92ace 100644 (file)
--- a/helm/DEVEL/lablgtkmathview/gMathView.mli
+++ b/helm/DEVEL/lablgtkmathview/gMathView.mli
@@ -30,11 +30,17 @@ class math_view_signals :
   object ('a)
     inherit GContainer.container_signals
     val obj: 'b Gtk.obj
-    method clicked : callback:(Gdome.element -> unit) -> GtkSignal.id
-    method element_changed :
-      callback:(Gdome.element option -> unit) -> GtkSignal.id
-    method press_move :
-      callback:(Gdome.element option -> Gdome.element option -> unit) -> GtkSignal.id
+    method click : callback:(Gdome.element -> int -> unit) -> GtkSignal.id
+    method element_over :
+      callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+    method select_begin :
+      callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+    method select_over :
+      callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+    method select_end :
+      callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+    method select_abort :
+      callback:(unit -> unit) -> GtkSignal.id
   end
 
 class math_view_skel :