You have all that and so much more in jEdit for $0.
Alas, it's not enough to make me stick with it.
Reply on news.ycombinator.com