Этого треда уже нет.
Это копия, сохраненная 11 января 2019 года.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
Это копия, сохраненная 11 января 2019 года.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
7 Кб, 236x213
Не нашел подходящего треда. Собственно, вопрос на картинке - емакс (+ agda-mode) не отображает некоторые значки, н-р символ N (тип натуральных чисел, пишется \bn). Ничего не нагуглил, что можно попробовать сделать, чтобы все символы отображались нормально?
>>4686 (OP)
Поставить шрифты, которые поддерживают эти символы.
Поставить шрифты, которые поддерживают эти символы.
Например Noto Sans
(set-fontset-font nil 'mathematical "Noto Sans Symbols-11" nil 'prepend)
(set-fontset-font nil 'mathematical "Noto Sans Symbols-11" nil 'prepend)
>>4828
Возможно шрифты в системе есть но в настройках проги стоит что-то не то, и сам емакс не понимает символ. покрути сам емакс и поставь другие шрифты в нем.
Возможно шрифты в системе есть но в настройках проги стоит что-то не то, и сам емакс не понимает символ. покрути сам емакс и поставь другие шрифты в нем.
Тред утонул или удален.
Это копия, сохраненная 11 января 2019 года.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
Это копия, сохраненная 11 января 2019 года.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.