Programmi di jEdit

jEdit è l'editor di testo di un programmatore maturo con centinaia (contando i plugin che sviluppano il tempo) di persone-anni di sviluppo alle spalle. Mentre jEdit batte molti costosi strumenti di sviluppo per funzionalità e