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: