- external get_font_size : [>`math_view] obj -> int =
- "ml_gtk_math_view_get_font_size"
- external set_anti_aliasing : [>`math_view] obj -> bool -> unit =
- "ml_gtk_math_view_set_anti_aliasing"
- external get_anti_aliasing : [>`math_view] obj -> bool =
- "ml_gtk_math_view_get_anti_aliasing"
- external set_kerning : [>`math_view] obj -> bool -> unit =
- "ml_gtk_math_view_set_kerning"
- external get_kerning : [>`math_view] obj -> bool =
- "ml_gtk_math_view_get_kerning"
- external log_set_verbosity : [>`math_view] obj -> int -> unit =
- "ml_gtk_math_view_log_set_verbosity"
- external log_get_verbosity : [>`math_view] obj -> int =
- "ml_gtk_math_view_log_get_verbosity"
- external export_to_postscript : [>`math_view] obj -> int =
- "ml_gtk_math_view_export_to_postscript"
+ (*external get_top : [>`math_view] obj -> (int * int) =
+ "ml_gtk_math_view_get_top"
+ external set_top : [>`math_view] obj -> int -> int -> unit =
+ "ml_gtk_math_view_set_top"*)