如何阻止Emacs回退到光栅化的Unicode字符？

Question

我正在尝试设置一个好的Agda环境,但是一个很大的障碍是我的Emacs设置中Unicode符号的可读性.

我在Mac OS X 10.7 Emacs的程序(.APP)23.3.1,并已配置为使用的默认字体摩纳哥Set Default Font...从Options菜单.但是,对于像≤,≠和→这样的Unicode符号,它会回落到一些看似不是摩纳哥或我检查过的任何其他等宽字体的严重丑陋的低分辨率栅格化字形.对于经常读取Unicode重的Agda源来说,这是一个巨大的可读性问题.

如何让Emacs使用漂亮的TTF字形呢？

这是一个屏幕截图,显示了Emacs缓冲区(右侧)中某些字符的放大视图,以及粘贴到Font Book中并在Monaco(左侧)中显示的相同字符:

Answer 1

.emacs根据这个超级用户的答案,添加以下内容解决了我的问题:

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

显然使用⌘-T字体选择菜单不足以更改所有字符的字体,但这一点配置似乎会影响所有Unicode字符的显示方式.好多了!

注意:对于Agda而言,事实证明Menlo可能是比摩纳哥更好的选择,因为摩纳哥似乎缺乏像∀这样有用的角色.