Этого треда уже нет.
Это копия, сохраненная 11 января 2019 года.

Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
1.png7 Кб, 236x213
emacs Windows 8: Chromium based 2434686 В конец треда | Веб
Не нашел подходящего треда. Собственно, вопрос на картинке - емакс (+ agda-mode) не отображает некоторые значки, н-р символ N (тип натуральных чисел, пишется \bn). Ничего не нагуглил, что можно попробовать сделать, чтобы все символы отображались нормально?
Linux: Firefox based 2 2434828
>>4686 (OP)
Поставить шрифты, которые поддерживают эти символы.
Linux: Firefox based 3 2434847
Например Noto Sans
(set-fontset-font nil 'mathematical "Noto Sans Symbols-11" nil 'prepend)
Windows 7: New Opera 4 2436391
>>4828
Возможно шрифты в системе есть но в настройках проги стоит что-то не то, и сам емакс не понимает символ. покрути сам емакс и поставь другие шрифты в нем.
Тред утонул или удален.
Это копия, сохраненная 11 января 2019 года.

Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
« /s/В начало тредаВеб-версияНастройки
/a//b//mu//s//vg/Все доски