Как улучшить рендеринг шрифтов в Jedit?
Я начал использовать Jedit из-за простой настройки пользовательского синтаксиса и свертывания. Это выглядит хорошо, за исключением того факта, что рендеринг шрифтов кажется худшим среди всех редакторов (по крайней мере для Linux), которые я использовал (Vim, Komodo, SublimeText). Мои глаза очень чувствительны к алиасам, на самом деле это сбивает меня с толку, когда рендеринг шрифтов по всем направлениям неравномерен. Jedit также страдает от неправильного расстояния между шрифтами, я полагаю, это из-за проблем с псевдонимами.
Мне лично нравится максимально использовать растровые шрифты, и один из моих любимых - Terminus. В настройках нет растровых шрифтов. Кроме того, перечисленные не выглядят хорошо даже со всеми функциями сглаживания, доступными в Jedit.
На данный момент я договорился с Курьером, который, кажется, выглядит лучше всего в Джедите.
Я бы хотел улучшить внешний вид шрифтов в Jedit. Поэтому я без особого успеха пробовал разные версии Java, Open Jdk 6 и 7, Oracle Jdk 1.7.4. Это не имело большого значения для меня.
Я ищу советы по улучшению рендеринга шрифтов, рекомендации по шрифтам и возможные исправления для Jedit.
Я нахожусь на Debian 7 64b, Xfce, Linux 3.13-1
Спасибо