- method export_to_postscript ~width ~height ~x_margin ~y_margin ~disable_colors ~filename =
- if not (MathView.export_to_postscript obj ~width ~height ~x_margin ~y_margin ~disable_colors ~filename) then
- raise (ErrorWritingFile filename)
+ method export_to_postscript
+ ?(width = 595) ?(height = 822) ?(x_margin = 72) ?(y_margin = 72)
+ ?(disable_colors = false) ~filename () =
+ let result = MathView.export_to_postscript obj
+ ~width ~height ~x_margin ~y_margin ~disable_colors ~filename
+ in
+ if not result then raise (ErrorWritingFile filename)