jEdit 4.2pre12

[Igge]

jEdit 4.2pre12 wurde soeben veröffentlicht.


jEdit ist ein auf Java basierender Editor mit vielseitigen Funktionen:

- Syntax Highlighting
- Plugin-fähig
- Dateien über FTP öffnen/speichern
- Suchen in mehreren Dateien
- und vieles mehr...

mE der beste GUI-Editor unter Linux ;)


Homepage: www.jedit.org
Changelog: www.jedit.org/CHANGES42.txt

Igge

[wind]

kann ich mich nur anschließen. perfekter editor und ein so hübsches leichtgewicht ;)

[Igge]

Version 4.2pre13 ist draußen... :)