Subject: Re: bug#26586: 25.1; header-line-format spins cpu

From: Aaron Jensen <[email-masked]>
Date: Sat, 22 Apr 2017 07:40:45 -0700

On Fri, Apr 21, 2017 at 11:32 AM, Andreas Schwab <[email-masked]> wrote:
> On Apr 21 2017, Aaron Jensen <[email-masked]> wrote:
>
>> Right, the tricky bit is matching the properties that the % had. It
>> could either be in a link, or a headline itself, or... so we'd need a
>> way of scanning the string and replacing the % while maintaining
>> whatever properties it had.
>
> It's probably easier to reference the string indirectly through a
> symbol, since that will suppress % handling.

Could you give an example of this? I'm not sure how to do this with
header-line-format.