3 ms·
jedits nice and has lots of plugins available through the preferences - http://www.jedit.org/ http://www.jedit.org/
by lotsofmangos 13y ago
jedits nice and has lots of plugins available through the preferences - http://www.jedit.org/ http://www.jedit.org/