summaryrefslogtreecommitdiff
path: root/doc/img/repl-menu.png
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2013-04-12 00:04:26 +0200
committerJose Antonio Ortega Ruiz <jao@gnu.org>2013-04-12 00:04:26 +0200
commit24ea5bb9d9859f819aa404cb99a2d7cf2d482c8b (patch)
tree0b2a982821a0bc0760f023e2df6c6116b0e6cfd2 /doc/img/repl-menu.png
parente97cfc075eff2212875a3fba5b2d71af7960133e (diff)
downloadgeiser-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