X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgtkMathView.ml;h=2420c94c110f2c3ca6f2edee7d32e9a01decf82c;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=4af1ae7826340b471b170701ab16c08f1de8fb4e;hpb=ee18ff6db8d49339230b4212e145964b12c5a523;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gtkMathView.ml b/helm/DEVEL/lablgtkmathview/gtkMathView.ml
index 4af1ae782..2420c94c1 100644
--- a/helm/DEVEL/lablgtkmathview/gtkMathView.ml
+++ b/helm/DEVEL/lablgtkmathview/gtkMathView.ml
@@ -83,6 +83,8 @@ module MathView = struct
    "ml_gtk_math_view_get_buffer"
   external get_frame : [>`math_view] obj -> Gtk.frame obj =
    "ml_gtk_math_view_get_frame"
+  external get_drawing_area : [>`math_view] obj -> Gtk.drawing_area obj =
+   "ml_gtk_math_view_get_drawing_area"
   external set_font_size : [>`math_view] obj -> int -> unit =
    "ml_gtk_math_view_set_font_size"
   external get_font_size : [>`math_view] obj -> int =
@@ -116,7 +118,7 @@ module MathView = struct
      let marshal_click f _ =
       function
          [GtkArgv.POINTER element; GtkArgv.INT state] ->
-	   f (gdome_element_of_boxed_option element) state
+	   f (gdome_element_option_of_boxed_option element) state
        | _ -> invalid_arg "GtkMathView.MathView.Signals.marshal_click"
      in
       { name = "click"; classe = `math_view; marshaller = marshal_click }