16 Jan
2009
16 Jan
'09
3:36 p.m.
* David Reitter [2009-01-12 22:15+0100] writes:
Is there a particular reason why slime-repl-clear-buffer calls recenter'?
Without recenter, the first line would not be displayed.
Can it do so without redrawing the whole frame (which is quite annoying)?
If the answers are "no" and "yes", I'd like to suggest the patch below.
Patch applied.
Helmut.