* bind of method get_drawing_area

[helm.git] / helm / DEVEL / lablgtkmathview / gMathView.mli

diff --git a/helm/DEVEL/lablgtkmathview/gMathView.mli b/helm/DEVEL/lablgtkmathview/gMathView.mli
index d8a5dd61694be3dd496361d2863a1d1181e504e2..5b9fdc803fec0608114a7e01353d6c49b3187f60 100644 (file)
--- a/helm/DEVEL/lablgtkmathview/gMathView.mli
+++ b/helm/DEVEL/lablgtkmathview/gMathView.mli
@@ -61,6 +61,7 @@ class math_view_skel :
     method get_font_manager_type : [ `font_manager_gtk | `font_manager_t1]
     method get_font_size : int
     method get_frame : GBin.frame
+    method get_drawing_area : GMisc.drawing_area
     method get_hadjustment : GData.adjustment
     method get_height : int
     method get_log_verbosity : int