"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 set_log_verbosity : [>`math_view] obj -> int -> unit =
+ "ml_gtk_math_view_set_log_verbosity"
+ external get_log_verbosity : [>`math_view] obj -> int =
+ "ml_gtk_math_view_get_log_verbosity"
external export_to_postscript : [>`math_view] obj -> int =
"ml_gtk_math_view_export_to_postscript"