Subject: Re: bug#17052: substitute-command-keys strips text properties

From: Eli Zaretskii <[email-masked]>
Date: Thu, 15 Aug 2019 19:46:06 +0300

> From: Lars Ingebrigtsen <[email-masked]>
> Date: Wed, 14 Aug 2019 18:58:57 -0700
> Cc: Juanma Barranquero <[email-masked]>, [email-masked]
> 
> > The doc of substitute-command-keys used to mention this, but it was
> > somewhat prematurely removed in 049fac7.
> 
> Heh, heh:
> 
>     (Fsubstitute_command_keys): Don't advertise the fact that
>     text-properties are dropped, since we think it's a bug that we'll fix
>     in 24.5.
> 
> Should I just put it back in the doc string, or do we still think that
> we'll fix it?

I don't think it matters (unless you want to fix this right now ;-).
We should document the situation and leave the bug open for the
possibility that someone would like to work on this.

Thanks.