- external get_hadjustment : [>`mathview] obj -> Gtk.adjustment obj =
- "ml_gtk_math_view_get_hadjustment"
- external get_vadjustment : [>`mathview] obj -> Gtk.adjustment obj =
- "ml_gtk_math_view_get_vadjustment"
- external get_buffer : [>`mathview] obj -> Gdk.pixmap =
+ external get_adjustments : [>`mathview_gmetadom] obj ->
+ Gtk.adjustment obj * Gtk.adjustment obj =
+ "ml_gtk_math_view_get_adjustments"
+ external get_buffer : [>`mathview_gmetadom] obj -> Gdk.pixmap =