max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(emacs/load-lean): require unicode-fonts package

Browse source
This commit is contained in:
Gabriel Ebner 2016-12-08 10:58:45 -05:00 • committed by Leonardo de Moura
parent e80eccdd60
commit bcc92af237
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/emacs/load-lean.el
View file

@ -14,7 +14,8 @@
(error nil)))
(setq lean-required-packages '(company dash dash-functional f
fill-column-indicator flycheck let-alist s seq))
fill-column-indicator flycheck let-alist s seq
unicode-fonts))
(require 'package)
(add-to-list 'package-archives '("melpa" . "http://melpa.org/packages/"))
@ -27,6 +28,10 @@
(setq need-to-refresh nil))
(package-install p))))
; This enables out-of-the-box support for characters such as ℕ at least on Windows.
(require 'unicode-fonts)
(unicode-fonts-setup)
(setq load-path (cons lean-emacs-path load-path))
(require 'lean-mode)