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/img/docstring-racket.png | |
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/img/docstring-racket.png')
0 files changed, 0 insertions, 0 deletions