get_double
Description:
[
Version ( since =
"2.26" ) ]
public double get_double (
string key)
Gets the value that is stored at key
in this.
A convenience variant of @get for doubles.
It is a programmer error to give a key
that isn't specified as having a 'double' type in the schema for
this.
Parameters:
this |
a Settings object
|
key |
the key to get the value for
|
Returns: