-
Kai Willadsen authored
This works similarly to the old setting, but requires GtkSourceView 3.18 for the default-encodings API. On earlier versions, we'll fall back to only using the built-in encodings, since that's likely to be a better experience for most users.
dec395e7