-class math_view obj = object
- inherit GContainer.container (obj : Gtk_mathview.math_view obj)
- method connect = new math_view_signals obj
- method load ~filename =
- if not (MathView.load obj ~filename) then raise (ErrorLoadingFile filename)
+let option_document_of_option =
+ function
+ None -> None
+ | Some v -> Some (new Gdome.document v)
+
+class math_view_skel obj = object
+ inherit GObj.widget (obj : Gtk_mathview.math_view obj)
+ method event = new GObj.event_ops obj
+ method freeze = MathView.freeze obj
+ method thaw = MathView.thaw obj
+ method load_uri ~filename =
+ if not (MathView.load_uri obj ~filename) then raise (ErrorLoadingFile filename)
+ method load_root ~root =
+ if not (MathView.load_root obj ~root:((root : Gdome.element)#as_Element)) then
+ raise ErrorLoadingDOM