Как исправить символ bool из Agda, отображающийся как квадратный квадрат с шестнадцатеричными и десятичными числами в Emacs?

Я только что установил двоичный файл Agda Windows из Wiki, но по какой-то причине неверно отображается blackboard bold B symbol (используется свободной книгой Агды от Stump for booleans). Я попытался изменить font as here, но это не сработало.Как исправить символ bool из Agda, отображающийся как квадратный квадрат с шестнадцатеричными и десятичными числами в Emacs?

Любая идея, в чем проблема?

источник

2016-11-18 Marko Grdinic

Может быть еще проблема с шрифтом. DejaVu Sans Mono - это тот, который я рекомендую. –

Нет ... Я не думаю, что настройка шрифта влияет на эти специальные символы по какой-то причине. Кажется, это проблема Emacs, но я использую один пакет с двоичным файлом напрямую, так что это странно. Я использую Windows 10. –

Обновление: похоже, это проблема с шрифтом. Когда я устанавливаю его на простой DejaVu Sans, символы отображаются правильно. Но они не на большинстве шрифтов, включая DejaVu Sans Mono, которые вы рекомендовали. Возможно, я попытаюсь заменить их на [Wiki] (http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.HowToSeeUnicode). –

На моем компьютере в файле C:\Users\Marko\AppData\Roaming\.emacs я добавил следующий лисповское фрагмент кода:

(set-fontset-font "fontset-default" nil 
        (font-spec :name "DejaVu Sans"))

Это устанавливает DejaVu Sans, как the fallback font для недостающих символов Юникода. С этим он работает для меня.

источник

2016-11-18 13:18:49

Как исправить символ bool из Agda, отображающийся как квадратный квадрат с шестнадцатеричными и десятичными числами в Emacs?

ответ

Смежные вопросы