Hacker News new | ask | show | jobs
by amitprayal 1438 days ago
jEdit - Java based editor with lots of plugins and extremely customizable.