[ Version ( since = "0.8" ) ]
public void add_double_element (double value)
Conveniently adds the given floating point value into an array.
See also: [method@Json.Array.add_element], [method@Json.Node.set_double]
this |
a JSON array |
value |
the floating point value to add |