#13 xml encoding as parameter

[Anonymous]

The default definition of xml format is <?xml version="1.0"?> but for files including accentuated characters this definition must be <?xml version="1.0" encoding="ISO-8859-1"?>. Now it is possible to change it manually.
It would be interesting to define this parameter in "user's settings" so it is easy to personalize the output of xml.