diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-12 00:04:26 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-12 00:04:26 +0200 |
| commit | 24ea5bb9d9859f819aa404cb99a2d7cf2d482c8b (patch) | |
| tree | 0b2a982821a0bc0760f023e2df6c6116b0e6cfd2 /doc/img/repl-menu.png | |
| parent | e97cfc075eff2212875a3fba5b2d71af7960133e (diff) | |
| download | geiser-24ea5bb9d9859f819aa404cb99a2d7cf2d482c8b.tar.gz geiser-24ea5bb9d9859f819aa404cb99a2d7cf2d482c8b.tar.bz2 | |
Hide auto-started REPL
I'm not convinced that this is the right thing, and the effect is a
bit ugly (we use save-window-excursion), but maybe this is the correct
thing to do for users that want auto-start.
Diffstat (limited to 'doc/img/repl-menu.png')
0 files changed, 0 insertions, 0 deletions