--- # defaults file for preferences