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 | b2a931ed644123162154916e3420ee879d80ad17 (patch) | |
| tree | 6bd0d10e7499667722683164558527dc5258e2a8 /doc/img/repl-menu.png | |
| parent | 51982d010fd4a44f93d6df3eceda6ffcebe1dbc2 (diff) | |
| download | geiser-guile-b2a931ed644123162154916e3420ee879d80ad17.tar.gz geiser-guile-b2a931ed644123162154916e3420ee879d80ad17.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/repl-menu.png')
0 files changed, 0 insertions, 0 deletions