Какие шрифты для просмотра scala исходного кода и рендеринга <- и =>

Я использую Eclipse в Windows 7 для просмотра исходного кода Scala. Scala позволяет использовать ⇒ вместо =>, а ← вместо < -.

Однако я не могу найти хороший четкий моноширинный шрифт, который хорошо отображает юникод ⇒ и ←. Часто я просто получаю коробку вместо ⇒.

Я пробовал: Консола - самый четкий общий шрифт, но не будет отображать ⇒Anonymous Pro - не отображает ⇒Deja Vu Sans Mono - делает ⇒, но он настолько мал, что его трудно увидеть!

Для моего собственного кода я могу просто избегать ⇒, но это не помогает просматривать источник сторонней библиотеки. Как другие люди решили эту проблему? Если другие люди используют ⇒ в своем коде, то, по-видимому, они также знают моноширинный шрифт, который также ясно показывает: -)

Ответ 1

~~Я думаю, Inconsolata работает, но я использую Linux, поэтому я не уверен, что он сработает для вас на Windows.~~

Inconsolata не имеет глифа. Лучше всего взять Deja Vu Sans Mono и отредактировать значок с двойной стрелкой, чтобы быть больше. Я просто сделал это с помощью FontForge в Linux; мне потребовалось около 5 минут.

Здесь пример до и после (после находится внизу):

Ответ 2

Я, к сожалению, не знаю, поддерживают ли они символы Unicode, и если один из них по вашему вкусу, но дайте Source Code Pro и Droid Sans Mono попробуйте. Я предполагаю, что вы уже googled, но этот произвольный список из 42 моноширинных шрифтов может оставить некоторые новые имена тем не менее.

Я лично доволен DejaVu Sans Mono, но я согласен, что стрела (среди других персонажей) не самая приятная.

Относительно примечания: Я всегда впечатлен тем, насколько хорошо браузеры (Firefox в моем случае) отображают все виды проводных символов Юникода. Если я правильно помню, то они применяют своего рода резервную стратегию. То есть, если основной шрифт не может обрабатывать символ, будут проверены (или несколько) резервные шрифты. Я не предполагаю, что вы можете использовать такой метод напрямую, но поиск по этим строкам может дать другие потенциальные решения вашей проблемы.