Как улучшить рендеринг шрифтов в 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
Спасибо
0 ответов на вопрос
Похожие вопросы
-
9
В чем разница между командами "su -s" и "sudo -s"?
-
4
Требуется хороший бесплатный образ Ubuntu Server VMWare
-
4
Каковы различия между основными дистрибутивами Linux? Я замечу?
-
-
2
Ограничить использование процессора для Flash в Firefox?
-
2
Как мне заставить мой микрофон работать под Debian GNOME?
-
2
Конки установки - образцы / идеи?
-
3
Каковы различия между оконными менеджерами Linux?
-
2
ThunderBird / Синхронизация освещения с SE k770i
-
4
Файловая система Linux
-
6
Полноэкранная медленная вспышка в KDE 4