X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathView.mli;h=e52a7a484c7d0a6cecc0bf9cc961492addf92ace;hb=56b68e877e6eb517c3efba7d9485947e940f7785;hp=0c380ad60a94ac018577df4441192e51f4ec2e7d;hpb=e7bcb20821caa3e03bf1b77a7e9f329aeaacab07;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gMathView.mli b/helm/DEVEL/lablgtkmathview/gMathView.mli
index 0c380ad60..e52a7a484 100644
--- 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 :