Я пытаюсь настроить хорошую среду Agda, но большим камнем преткновения является удобочитаемость символов Unicode. в моей настройке Emacs.
Я использую Mac OS X 10.7 с Emacs (.app) 23.3.1 и настроил шрифт по умолчанию на Monaco, используя Установить шрифт по умолчанию ...
из Параметры
меню. Однако для символов Unicode, таких как ≤, ≠ и →, он возвращается к некоторым серьезно уродливым растеризованным глифам с низким разрешением, которые не кажутся Monaco или любым другим моноширинным шрифтом, который я проверял. Это огромная проблема с удобочитаемостью при частом чтении исходного кода Agda с большим количеством Unicode.
Как я могу заставить Emacs использовать вместо этого красивые глифы TTF?
Вот снимок экрана, показывающий увеличенное изображение некоторых символов в буфере Emacs (справа) и тех же символов, вставленных в книгу шрифтов и отображаемых в Монако (слева):