Convenience method to get a File object for the specified filename inside the settings folder. For now, only used by Preferences to get the preferences.txt file. @param filename A file inside the settings folder. @return filename wrapped as a File object inside the settings folder
(String filename)
source not stored for this graph (policy: none)