Как остановить Emacs, возвращающийся к растеризованным символам Unicode?

Question

Я пытаюсь настроить хорошую среду Agda, но большим камнем преткновения является удобочитаемость символов Unicode в моей настройке Emacs.

Я на Mac OS X 10.7 с Emacs (.app) 23.3.1, и настроил мой шрифт по умолчанию для Монако, используя Set Default Font... из меню Options.Тем не менее, для символов Unicode, таких как ≤, ≠ и →, он прибегает к серьезным уродливым растеризованным глифам с низким разрешением, которые, по-видимому, не являются Монако или любым другим моноширинным шрифтом, который я проверял.Это огромная проблема с читабельностью при частом чтении источника Agda с интенсивным Юникодом.

Как я могу заставить Emacs использовать вместо этого красивые символы TTF?

Вот скриншот, показывающий увеличенное представление некоторых символовв буфере Emacs (справа) и те же символы, вставленные в Font Book и отображенные в Монако (слева):

Answer 1

Добавление следующего к моему .emacs решило проблему на основе этого ответа суперпользователя :

(if (string-equal system-type "darwin")
    (set-fontset-font "fontset-default"
                      'unicode
                      '("Monaco" . "iso10646-1")))

Видимо, использования меню выбора шрифта ⌘-T недостаточно для измененияшрифт для всех символов, но этот бит конфигурации, кажется, влияет на способ отображения всех символов Unicode.Гораздо лучше!

Примечание: для целей Агды оказывается, что Менло может быть лучшим выбором, чем Монако, поскольку в Монако, похоже, отсутствуют такие полезные символы, как ∀.