Currently, JabRef adds following header to each BibTeX file
% This file was created with JabRef <version>
% Encoding: UTF8
If users use different versions of JabRef, this causes problems. Therefore, I propose to just remove the first header line.
I'm not sure about the second line. Should we guess the encoding from the file or keep the encoding information?
Other JabRef settings such as the group information or the save order is stored in BibTeX @comment entries. Maybe we should require the encoding also be stored as @comment? Possibly, this interferes with the parser and we have to first check existence of a encoding comment entry and then fire up the parser.
Currently, JabRef adds following header to each BibTeX file
If users use different versions of JabRef, this causes problems. Therefore, I propose to just remove the first header line.
I'm not sure about the second line. Should we guess the encoding from the file or keep the encoding information?
Other JabRef settings such as the group information or the save order is stored in BibTeX
@commententries. Maybe we should require the encoding also be stored as@comment? Possibly, this interferes with the parser and we have to first check existence of a encoding comment entry and then fire up the parser.