package stk_xml
Install
Dune Dependency
Authors
Maintainers
Sources
md5=4a7d5aeecb002fa711a6eb002a544713
sha512=f2efc05917d5916980a8d09426b629028a748c00c19667b0bf4e0cf0c8811d80b5a693b95f662301bfbe3162cefd73e7f02e98cb5c1020876cbcf9fc81930434
doc/stk_xml/Stk_xml/View/class-xmlview/index.html
Class View.xmlviewSource
The xmlview widget, with kind "xmlview".
Note that the widget will automatically rebuild the widgets to display the XML document when the source of the style changes (i.e. event Prop_changed with property Style.prop_source).
inherit Stk.Bin.binmethod style : Stk_xml.Style.styleGet the style object used by the view. If none was provided at creation time, a default one is used.
method doc : Stk_xml.Doc.docReturn the current XML view document.
Set CSS statements describing which event handlers to add to created widgets (see Eprops).
Append CSS statements for event handlers.
method load_resource : Iri.t -> Stk_xml.Types.load_resource_result Lwt.t#load_resource iri retrieves resource at iri, if a load_resource function was provided; else returns `None.
method set_load_resource : Stk_xml.Types.load_resource option -> unitSet the function used to retrieve remote resources.
method set_of_node : Stk_xml.Layout.of_node_fun option -> unitSet the function building widgets from an XML node. See Layout module.
method set_xml : ?iri:Iri.t -> Stk_xml.Xml.doc -> unitSet the XML document to display. This will remove all widgets displaying previous document. The iri optional argument is used to resolve relative IRIs.
method xml : Stk_xml.Xml.docGet the currently displayed XML document.
method iri : Stk_xml.Types.PIri.t optionGet the current IRI, i.e. the one set with #set_xml.