get_double

Description:

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.

this	a Settings object
key	the key to get the value for

a double