]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gMathView.ml
* bind of method get_drawing_area
[helm.git] / helm / DEVEL / lablgtkmathview / gMathView.ml
index fd505f1dcda9b23358d8732899bf3c15b8012a5e..23197b227a380498634b55b8c316e99f69b4c68d 100644 (file)
@@ -134,6 +134,7 @@ class math_view_skel obj = object
  method get_vadjustment = new GData.adjustment (MathView.get_vadjustment obj)
  method get_buffer = MathView.get_buffer obj
  method get_frame = new GBin.frame (MathView.get_frame obj)
+ method get_drawing_area = new GMisc.drawing_area (MathView.get_drawing_area obj)
  method set_font_size = MathView.set_font_size obj
  method get_font_size = MathView.get_font_size obj
  method set_anti_aliasing = MathView.set_anti_aliasing obj