Làm thế nào để dừng Emacs rơi trở lại để rasterized ký tự Unicode?

Question

Tôi đang cố gắng để có được một môi trường Agda tốt thiết lập, nhưng một trở ngại lớn là khả năng đọc của các biểu tượng Unicode trong thiết lập Emacs của tôi.

Tôi đang sử dụng Mac OS X 10.7 với Emacs (.app) 23.3.1 và đã định cấu hình phông chữ mặc định của tôi thành Monaco bằng cách sử dụng Set Default Font... từ menu Options. Tuy nhiên, đối với các ký hiệu Unicode như ≤, ≠, và → nó quay trở lại với một số glyphs rasterized có độ phân giải thấp nghiêm trọng không xuất hiện là Monaco hoặc bất kỳ phông chữ đơn cách nào khác mà tôi đã kiểm tra. Đây là một vấn đề rất dễ đọc đối với việc đọc nguồn Agda thường xuyên của Unicode.

Làm cách nào để tạo các Emacs sử dụng các hình tượng TTF đẹp thay thế?

Dưới đây là một ảnh chụp màn hình cho thấy một cái nhìn cận cảnh về một số nhân vật trong một bộ đệm Emacs (ở bên phải), và các nhân vật cùng dán vào Font Book và hiển thị trong Monaco (bên trái):

Answer 1

Thêm dòng sau vào tôi .emacs giải quyết vấn đề, dựa trên this superuser answer:

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

Rõ ràng bằng cách sử dụng ⌘-T menu lựa chọn font chữ là không đủ để thay đổi phông chữ cho tất cả các nhân vật, nhưng bit cấu hình này dường như ảnh hưởng đến cách tất cả các ký tự Unicode được hiển thị. Tốt hơn nhiều!

N.B .: Đối với mục đích Agda, hóa ra Menlo có thể là lựa chọn tốt hơn Monaco, vì Monaco dường như thiếu các ký tự hữu ích như ∀.