Skip to content

Change representation of encodings to Charset#396

Merged
simonharrer merged 1 commit into
JabRef:masterfrom
tobiasdiez:charset
Nov 30, 2015
Merged

Change representation of encodings to Charset#396
simonharrer merged 1 commit into
JabRef:masterfrom
tobiasdiez:charset

Conversation

@tobiasdiez

Copy link
Copy Markdown
Member

Instead of representing an encoding as a string we now use a Charset.
This idea was already discussed in PR #370.

@simonharrer

Copy link
Copy Markdown
Contributor

I do like this. Can there be any issues if a previous file has an encoding format that is not understood and is loaded with a newer version of jabref?

@tobiasdiez

Copy link
Copy Markdown
Member Author

As far as I can see there is no problem. The encoding from the file is given to Charset.forName(), which is the same behavior as previously. Maybe some encodings are now written to the bib-file in a slightly different way, but this shouldn't be a big problem.

@simonharrer

Copy link
Copy Markdown
Contributor

Ok. Please rebase, I will merge it in.

Instead of representing an encoding as a string we now use a Charset.
This idea was already discussed in PR JabRef#370.
@tobiasdiez

Copy link
Copy Markdown
Member Author

Rebased.

simonharrer added a commit that referenced this pull request Nov 30, 2015
Change representation of encodings to Charset
@simonharrer simonharrer merged commit 2ba6503 into JabRef:master Nov 30, 2015
@tobiasdiez tobiasdiez deleted the charset branch November 30, 2015 22:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants