e' uscito il nuovo fantastico editor jEdit 4.0: - richiede java 2 (jdk >= 1.2) - ancora piu' veloce; e' stato riscritto il motore di editing - nuovo file browser; comprende anche un navigatore database, oltre ai gia' noti ftp e zip - nuova gestione bracket folder ({ - }) - migliorato il supporto dei contesti secondari l'html: php,javascript - gpl come dovrebbe essere scritto un programma java http://www.jedit.org -- Per iscriversi (o disiscriversi), basta spedire un messaggio con SOGGETTO "subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxxxxxx