- 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)
- method get_font_manager_type = MathView.get_font_manager_type obj
- method set_font_manager_type ~fm_type = MathView.set_font_manager_type obj ~fm_type
- method get_element = MathView.get_element obj
- method action_get_selected = MathView.action_get_selected obj
- method action_set_selected = MathView.action_set_selected obj
- method get_action = MathView.get_action obj
- method action_toggle = MathView.action_toggle obj