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