Hacker News new | ask | show | jobs
by lotsofmangos 4467 days ago
jedits nice and has lots of plugins available through the preferences - http://www.jedit.org/