X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathView.ml;h=40596204660ff993320180525ff3eb629ec3adae;hb=b1fb6b8e1767d775bc452303629e95941d142bea;hp=63a3c234ad998fedfd1e138f9d179f707ff2deca;hpb=5a7485a8f24e457fd4cc091f24c48f3cb8d11fca;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gMathView.ml b/helm/DEVEL/lablgtkmathview/gMathView.ml
index 63a3c234a..405962046 100644
--- a/helm/DEVEL/lablgtkmathview/gMathView.ml
+++ b/helm/DEVEL/lablgtkmathview/gMathView.ml
@@ -41,7 +41,8 @@ class math_view_signals obj = object
       MathView.Signals.clicked.S.marshaller
        (fun e -> f (new Gdome.element e)) x y
      in
-      { S.name = "clicked"; S.marshaller = new_marshaller }
+      { S.name = "clicked"; S.classe = `math_view;
+        S.marshaller = new_marshaller }
     in
      GtkSignal.connect ~sgn:new_clicked obj ~after
   method selection_changed =
@@ -51,7 +52,8 @@ class math_view_signals obj = object
       MathView.Signals.selection_changed.S.marshaller
        (function None -> f None | Some e -> f (Some (new Gdome.element e))) x y
      in
-      { S.name = "selection_changed"; S.marshaller = new_marshaller }
+      { S.name = "selection_changed"; S.classe = `math_view;
+        S.marshaller = new_marshaller }
     in
      GtkSignal.connect ~sgn:new_selection_changed obj ~after
   method element_changed =
@@ -61,7 +63,8 @@ class math_view_signals obj = object
       MathView.Signals.element_changed.S.marshaller
        (function None -> f None | Some e -> f (Some (new Gdome.element e))) x y
      in
-      { S.name = "element_changed"; S.marshaller = new_marshaller }
+      { S.name = "element_changed"; S.classe = `math_view;
+        S.marshaller = new_marshaller }
     in
      GtkSignal.connect ~sgn:new_element_changed obj ~after
 end