[ Version ( since = "2.12" ) ]
public void set_double (string group_name, string key, double value)
Associates a new double value with key under group_name.
If key cannot be found then it is created.
| this |
a key file |
| group_name |
a group name |
| key |
a key |
| value |
a double value |