diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-08-20 20:47:53 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2011-08-20 20:47:53 +0200 |
| commit | 0f441d62d9cd89e6e1486af1b4283abe77d30822 (patch) | |
| tree | 478647c88de720e4796d1af0ab659625aca48093 /doc/intro.texi | |
| parent | 7614e02ca555a166c29b110f83e7033339e0abd1 (diff) | |
| download | geiser-0f441d62d9cd89e6e1486af1b4283abe77d30822.tar.gz geiser-0f441d62d9cd89e6e1486af1b4283abe77d30822.tar.bz2 | |
REPL: new customizable faces for input and prompt
Namely, geiser-font-lock-repl-prompt and geiser-font-lock-repl-input.
Diffstat (limited to 'doc/intro.texi')
0 files changed, 0 insertions, 0 deletions