"ml_gtk_math_view_get_vadjustment"
external get_buffer : [>`math_view] obj -> Gdk.pixmap =
"ml_gtk_math_view_get_buffer"
- external get_frame : [>`math_view] obj -> [`frame] obj =
+ external get_frame : [>`math_view] obj -> Gtk.frame obj =
"ml_gtk_math_view_get_frame"
external set_font_size : [>`math_view] obj -> int -> unit =
"ml_gtk_math_view_set_font_size"