Finalmente penso di aver trovate un editor valido

http://www.jedit.org/
Essendo scritto in java funziona sia sotto windoz che sotto linux, e
sembra essere molto valido, almeno secondo i miei primi test.

cu pazzo