summaryrefslogtreecommitdiff
path: root/doc/intro.texi
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2011-08-20 20:47:53 +0200
committerJose Antonio Ortega Ruiz <jao@gnu.org>2011-08-20 20:47:53 +0200
commit0f441d62d9cd89e6e1486af1b4283abe77d30822 (patch)
tree478647c88de720e4796d1af0ab659625aca48093 /doc/intro.texi
parent7614e02ca555a166c29b110f83e7033339e0abd1 (diff)
downloadgeiser-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