Add default encoding and default line ending

Also remove Theme specific preferences