¿Cómo mejorar la representación de fuentes en Jedit?

¿Cómo mejorar la representación de fuentes en Jedit?

Comencé a usar Jedit debido a la fácil configuración de la sintaxis y el plegado del lenguaje personalizado. Se ve bien, excepto por el hecho de que la representación de fuentes parece ser la peor entre todos los editores (al menos en Linux) que usé (Vim, Komodo, SublimeText). Mis ojos son muy sensibles al alias; de hecho, me resulta confuso cuando la representación de la fuente es desigual en todos los ámbitos. Jedit también sufre de un espaciado de fuente inadecuado, supongo que esto se debe a problemas relacionados con el alias.

Personalmente, me gusta usar fuentes de mapa de bits tanto como sea posible y una de mis favoritas es Terminus. No hay fuentes de mapa de bits enumeradas en la configuración. Además, los que aparecen en la lista no se ven bien incluso con todas las funciones antialiasing disponibles en Jedit.

Por el momento me conformé con Courier, que parece verse mejor en Jedit.

Me gustaría mejorar la apariencia tipográfica en Jedit tanto como sea posible. Entonces probé diferentes versiones de Java, Open Jdk 6 y 7, Oracle Jdk 1.7.4 sin mucho éxito. No hizo mucha diferencia para mí.

Estoy buscando consejos sobre cómo mejorar la representación de fuentes, recomendaciones de fuentes y posibles soluciones para Jedit.

Estoy en Debian 7 64b, Xfce, Linux 3.13-1

gracias

información relacionada