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