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 | 246175eadf22a2ab7121be68d37d01f320ddb44a (patch) | |
tree | 38675918051739165919cb6bf000ab2240ae60a3 /doc/img/autodoc-var.png | |
parent | 80028aa5e49cf897e371bf030eea399d14771e24 (diff) | |
download | geiser-guile-246175eadf22a2ab7121be68d37d01f320ddb44a.tar.gz geiser-guile-246175eadf22a2ab7121be68d37d01f320ddb44a.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/autodoc-var.png')
0 files changed, 0 insertions, 0 deletions