| commit | b2a931ed644123162154916e3420ee879d80ad17 | |
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | |
| Sat, 20 Aug 2011 18:47:53 +0000 (20 20:47 +0200) | ||
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | |
| Sat, 20 Aug 2011 18:47:53 +0000 (20 20:47 +0200) | ||
| tree | 6bd0d10e7499667722683164558527dc5258e2a8 | treesnapshot (tar.gz zip) |
| parent | 51982d010fd4a44f93d6df3eceda6ffcebe1dbc2 | commitdiff |
REPL: new customizable faces for input and prompt
Namely, geiser-font-lock-repl-prompt and geiser-font-lock-repl-input.
Namely, geiser-font-lock-repl-prompt and geiser-font-lock-repl-input.
| NEWS | diffblobblamehistory | |
| doc/repl.texi | diffblobblamehistory | |
| elisp/geiser-repl.el | diffblobblamehistory |