[slime-devel] Re: Editing old inputs

[Luke Gorrie]

Raymond Toy <rtoy at earthlink.net> writes:

> I've updated slime now, and this is fixed.  (Thanks Luke!)  However,
> the input is still bold, and when I press enter, slime appends a copy
> to the prompt.  I have to press enter again to get the repl to see it.

Should be fixed now. SLIME was getting confused by some text
properties in the old input that were preserved through kill/yank.

Cheerio,
Luke