Clinton Ebadi <[EMAIL PROTECTED]> writes: > Oops, forgot .diff [...]
Many thanks, I've applied this change. (Thanks also for the clear
explanation. It's slightly surprising that pop-to-buffer doesn't have
an arg we could use meaning "don't change the selected window" - but I
guess that's what save-selected-window is for.)
Regards,
Neil
_______________________________________________
Guile-devel mailing list
Guile-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/guile-devel
