"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 =