This is a seemingly very simple problem but so far I have only come up with a complex solution.
I have the following xml snippet: <properties> <property name="width" type="real" units="mm">84</property> <property name="height" type="real" units="mm">10.69204152249135</property> </properties> How do I change the value of the height node (i.e. from 10.6 to 5)? I have tried just setting heightNode = 5 but I get a casting error (cannot convert a number to XML). I want to set nodeValue but the XML object does not have this parameter.
