[slime-devel] Re: Automatic shrinking of windows (slime-documentation, etc)?