JEdit related information

jEdit is a mature programmer's text editor. It is not my favorite but it is interesting.

Key configurations I do in JEdit:
- Remove the .(dot) in the text area, do Utilities | Global Options... | Text Area and unset End of line markers.