addProperty

fun Element.addProperty(name: String, value: String? = null)(source)

Adds a property with given name and value.

A property is a child element of type option, with an attribute name and optionally an attribute value. A property may have its own children, too.

A property is added even if another property with the given name already exists.