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

http://www.gp32x.com/board/index.php?/topic/57614-jedit-programmers-text-editor/