open GObj
exception ErrorLoadingFile of string;;
+exception ErrorWritingFile of string;;
class math_view_signals obj = object
inherit GContainer.container_signals obj
method load ~filename =
if not (MathView.load obj ~filename) then raise (ErrorLoadingFile filename)
method unload = MathView.unload obj
- (*method dump = MathView.dump obj*)
method get_selection = MathView.get_selection obj
method set_selection = MathView.set_selection obj
method get_width = MathView.get_width obj
method get_anti_aliasing = MathView.get_anti_aliasing obj
method set_kerning = MathView.set_kerning obj
method get_kerning = MathView.get_kerning obj
- method log_set_verbosity = MathView.log_set_verbosity obj
- method log_get_verbosity = MathView.log_get_verbosity obj
- method export_to_postscript = MathView.export_to_postscript obj
+ method set_log_verbosity = MathView.set_log_verbosity obj
+ method get_log_verbosity = MathView.get_log_verbosity obj
+ method export_to_postscript ~filename =
+ if not (MathView.export_to_postscript obj ~filename) then
+ raise (ErrorWritingFile filename)
end
let math_view ?adjustmenth ?adjustmentv ?(use_t1_lib=false) ?border_width