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.xmlview
Source
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.bin
method style : Stk_xml.Style.style
Get the style object used by the view. If none was provided at creation time, a default one is used.
method doc : Stk_xml.Doc.doc
Return 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 -> unit
Set the function used to retrieve remote resources.
method set_of_node : Stk_xml.Layout.of_node_fun option -> unit
Set the function building widgets from an XML node. See Layout
module.
method set_xml : ?iri:Iri.t -> Stk_xml.Xml.doc -> unit
Set 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.doc
Get the currently displayed XML document.
method iri : Stk_xml.Types.PIri.t option
Get the current IRI, i.e. the one set with #set_xml
.