Subject: Re: bug#764: 23.0.60; fontified prompt in *shell* extends to normal text upon yank

From: Bastien Guerry <[email-masked]>
Date: Tue, 07 Jan 2014 11:38:35 +0100

Peter Dyballa <[email-masked]> writes:

> So the easy recipe is: copy or kill some text, go to the *shell*
> buffer's end, go back to the prompt's beginning, and insert now the
> text. The prompt's properties now extend to the text's beginning where
> formerly the prompt started.

I can't reproduce this either.  Closing this bug---Peter, feel free to
reopen it and to provide a new recipe if you still encounter this bug.