michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(emacs/README.md): add instruction for unicode font

Browse source
This commit is contained in:
Soonho Kong 2014-09-05 15:20:41 -07:00
parent e77966932d
commit 70ac5ec15e
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/emacs/README.md
View file

@ -61,6 +61,14 @@ Put the following elisp code on your emacs setup (e.g. ``.emacs.d/init.el``):
(customize-set-variable 'lean-eldoc-use t)
```
If experience a problem reading unicode characters on emacs, consider
having the following setup:
```elisp
(when (member "DejaVu Sans Mono" (font-family-list))
(set-face-attribute 'default nil :font "DejaVu Sans Mono-11"))
```
Key Bindings
------------