get_settings
  
  Description:
  public unowned Settings get_settings ()
  
 
  
    Gets the settings object holding the settings used for this widget.
    Note that this function can only be called when the Widget is attached to a toplevel, 
      since the settings object is specific to a particular Screen.
    Parameters:
    
    Returns:
    
      
        | the relevant Settings object |