X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Flablgtkmathview%2FgtkMathView.ml;h=394d97e1484ca9870852f0bfecc9cb170a625f78;hb=594ea125d8bdd2c0a210e4b2170b0c725075d597;hp=4af1ae7826340b471b170701ab16c08f1de8fb4e;hpb=ee18ff6db8d49339230b4212e145964b12c5a523;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gtkMathView.ml b/helm/DEVEL/lablgtkmathview/gtkMathView.ml
index 4af1ae782..394d97e14 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 =