-
And rename DefaultPropertyNames to DefaultProperties. Default profile properties are now specified in the DefaultProperties container directly, which simplifies creating the Built-in profile, and keeps the properties info in one place. - Name, Path: are empty by default, and set to the special values of the built-in profile in useBuiltin() - Some properties have to be set at runtime, rather than compile time e.g. Command, Font, DefaultEncoding.
ea35c24c