jEdit

http://www.jedit.org/

jEdit is a mature programmer's text editor with hundreds (counting the time developing plugins) of person-years of development behind it.