exception ErrorLoadingFile of string;;
exception ErrorWritingFile of string;;
+exception ErrorLoadingDOM;;
exception NoSelection;;
class math_view_signals obj = object
inherit GContainer.container_signals obj
method clicked = GtkSignal.connect ~sgn:MathView.Signals.clicked obj ~after
- method jump = GtkSignal.connect ~sgn:MathView.Signals.jump obj ~after
method selection_changed =
- GtkSignal.connect ~sgn:MathView.Signals.selection_changed obj ~after
+ GtkSignal.connect ~sgn:MathView.Signals.selection_changed obj ~after
+ method element_changed =
+ GtkSignal.connect ~sgn:MathView.Signals.element_changed obj ~after
end
class math_view obj = object
method connect = new math_view_signals obj
method load ~filename =
if not (MathView.load obj ~filename) then raise (ErrorLoadingFile filename)
+ method load_tree ~dom =
+ if not (MathView.load_tree obj ~dom) then raise ErrorLoadingDOM
method unload = MathView.unload obj
method get_selection = MathView.get_selection obj
method set_selection (node : Ominidom.o_mDOMNode option) = MathView.set_selection obj node
method get_anti_aliasing = MathView.get_anti_aliasing obj
method set_kerning = MathView.set_kerning obj
method get_kerning = MathView.get_kerning obj
+ method set_transparency = MathView.set_transparency obj
+ method get_transparency = MathView.get_transparency obj
method set_log_verbosity = MathView.set_log_verbosity obj
method get_log_verbosity = MathView.get_log_verbosity obj
method export_to_postscript
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
end
let math_view ?adjustmenth ?adjustmentv ?font_size ?font_manager ?border_width