Nella mia ricerca del successore di Tex-Edit Plus ho verificato Jedit X. Ancora insufficiente, ma nel giro di un paio di versioni potrebbe diventare interessante.

Fa quasi tutto quello che cerco. Il problema è che, per ora, lo fa non benissimo.