Nov 10, 2018

How to change Character Encodings in JEdit

You can change Character Encodings in Encodings pane of the Utilities> Options