- the mathql interpreter is not helm-dependent any more

[helm.git] / helm / DEVEL / lablgtkmathview / gtkMathView.ml

diff --git a/helm/DEVEL/lablgtkmathview/gtkMathView.ml b/helm/DEVEL/lablgtkmathview/gtkMathView.ml
index 4af1ae7826340b471b170701ab16c08f1de8fb4e..2420c94c110f2c3ca6f2edee7d32e9a01decf82c 100644 (file)
--- 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 }