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

doc(emacs/README.md): update unicode instructions

Browse source
This commit is contained in:
Soonho Kong 2015-11-24 11:30:33 -05:00
parent e8ee91f59d
commit 27cec52770
1 changed files with 12 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
src/emacs/README.md
View file

@ -162,23 +162,29 @@ Known Issues and Possible Solutions
Unicode
-------
If you experience a problem reading unicode characters on emacs,
first consider using a unicode-friendly font such as `DejaVu Sans Mono`:
If you experience a problem rendering unicode symbols on emacs,
please download the following fonts and install them on your machine:
- [Quivira.ttf](http://www.quivira-font.com/files/Quivira.ttf)
- [Dejavu Fonts](http://sourceforge.net/projects/dejavu/files/dejavu/2.35/dejavu-fonts-ttf-2.35.tar.bz2)
- [NotoSans](https://github.com/googlei18n/noto-fonts/blob/master/hinted/NotoSans-Regular.ttc?raw=true)
- [NotoSansSymbols](https://github.com/googlei18n/noto-fonts/blob/master/unhinted/NotoSansSymbols-Regular.ttf?raw=true)
Then, have the following lines in your emacs setup to use `DejaVu Sans Mono` font:
```elisp
(when (member "DejaVu Sans Mono" (font-family-list))
(set-face-attribute 'default nil :font "DejaVu Sans Mono-11"))
```
If you still experience a rendering problem, consider trying
[emacs-unicode-fonts](https://github.com/rolandwalker/unicode-fonts):
You may also need to install [emacs-unicode-fonts](https://github.com/rolandwalker/unicode-fonts) package.
- Install `unicode-fonts` package by running `M-x package-refresh-contents` and `M-x package-install`.
- Run `M-x package-refresh-contents`, `M-x package-install`, and type `unicode-fonts`.
- Add the following lines in your emacs setup:
```lisp
(require 'unicode-fonts)
(unicode-fonts-setup)
```