diff options
| author | narboux | 2004-04-30 11:20:09 +0000 |
|---|---|---|
| committer | narboux | 2004-04-30 11:20:09 +0000 |
| commit | a9888128250cbbdc98b73b11f81309012397c807 (patch) | |
| tree | e51c1b97bb72ab49a45b7b3a31e44b89f8e9bf4f | |
| parent | b48240e2c319eb66be3b58d3812792e86be56d32 (diff) | |
coloration ok
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8560 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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#. |