]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gMathView.ml
* click signal changed: now the element argument is optional
[helm.git] / helm / DEVEL / lablgtkmathview / gMathView.ml
index 23197b227a380498634b55b8c316e99f69b4c68d..3687c043b22d4d54cbbc72da1f327970f6f01be8 100644 (file)
@@ -45,7 +45,7 @@ class math_view_signals obj = object
     let new_click =
      let new_marshaller f x y =
       MathView.Signals.click.S.marshaller
-       (fun e s -> f (new Gdome.element e) s) x y
+       (fun e s -> f (option_element_of_option e) s) x y
      in
       { S.name = "click"; S.classe = `math_view;
         S.marshaller = new_marshaller }