Preferences.with_filename


Description:

protected Preferences.with_filename (string filename)