-ML_2 (gtk_math_view_set_font_manager_type, GtkMathView_val, font_manager_id_of_value, Unit)
-ML_1 (gtk_math_view_get_font_manager_type, GtkMathView_val, value_of_font_manager_id)
-
-value
-ml_gtk_math_view_export_to_postscript_native(value arg1,
- value w, value h, value x0, value y0, value disable_colors, value arg2)
-{
- CAMLparam5(arg1,w,h,x0,y0);
- CAMLxparam2(disable_colors, arg2);
-
- char *filename;
- FILE *fd;
- int res;
- filename = String_val (arg2);
- if ((fd = fopen(filename, "w"))) {
- gtk_math_view_export_to_postscript(GtkMathView_val (arg1),
- Int_val(w), Int_val(h), Int_val(x0), Int_val(y0), Bool_val(disable_colors), fd);
- fclose (fd);
- res = 1;
- } else {
- fprintf(stderr, "Error opening file %s for writing\n", filename);
- res = 0;
- }
- CAMLreturn (Val_bool(res));
-}
-
-value ml_gtk_math_view_export_to_postscript_bytecode (value* arg, int argn)
-{
- return ml_gtk_math_view_export_to_postscript_native(arg[0], arg[1], arg[2], arg[3], arg[4], arg[5], arg[6]);
-}