diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/newfaq/main.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/newfaq/main.tex b/doc/newfaq/main.tex index f78947c5fe..8905ff0d86 100644 --- a/doc/newfaq/main.tex +++ b/doc/newfaq/main.tex @@ -1765,6 +1765,8 @@ You can use this bibtex entry : in your \texttt{.coqide-gtk2rc} file. It may be in the current dir or in \verb#$HOME# dir. This is done by default. +%$ juste pour que la coloration emacs marche + \Question{How to enable antialiased fonts ?} Set the \verb#GDK_USE_XFT# variable to \verb#1#. This is by default with \verb#Gtk >= 2.2#. |