Subject: Re: bug#51040: No curved quotes in format-prompt and minibuffer-default-prompt-format

From: Lars Ingebrigtsen <[email-masked]>
Date: Wed, 06 Oct 2021 10:58:01 +0200

Stefan Kangas <[email-masked]> writes:

> On the other hand, there are some places where we obviously will never
> want to run a "full" `substitute-command-keys', for example I think we
> have some places where we awkwardly say (substitute-command-keys "'").

Yeah, having a separate function for this would be good, because those
bits are pretty confusing.  But as you say, in this `format-prompt'
case, using `substitute-command-keys' is probably the right thing, since
we could be actually using key defs in the prompt.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no