Re: 31395511: "Don’t attempt to modify constant strings"

[Paul Eggert]

On 6/4/20 1:25 PM, João Távora wrote:
> On Thu, Jun 4, 2020 at 8:46 PM Paul Eggert <eggert@cs.ucla.edu> wrote:

> I'm OK with changing to the new pattern, and now that this
> has come up I do seem to remember being annoyed that I
> make-text-button didn't return the string it added the properties
> to.

In that case perhaps all that's needed is to document the issue with
make-text-button, at least unless someone comes up with a cleaner API.