jEdit is a Java-based programmer's editor with a boatload of optional plugins, color schemes, and configuration options.

At its heart, jEdit is a just a text editor, although it's a text editor with a lot of options. You can make these options global or apply them on a per-buffer basis. You can reach the options via the ...