]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gMathView.ml
forward compatibility changes for ocaml 3.06
[helm.git] / helm / DEVEL / lablgtkmathview / gMathView.ml
index 63a3c234ad998fedfd1e138f9d179f707ff2deca..40596204660ff993320180525ff3eb629ec3adae 100644 (file)
@@ -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