- (*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"*)
+ 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"