Я начал использовать 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
Спасибо