-
Kai Willadsen authored
This makes everything a bit better and will maintain currently-set file encodings, but we still need to use the encoding selector in FileDiff if we want to handle opening new files with predetermined encodings from there.
36e41939