Subject: Re: bug#39265: 26.3; format-mode-line with FACE argument
From: Stefan Kangas <[email-masked]>
To: Eli Zaretskii <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Mon, 10 Feb 2020 16:36:08 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Eli Zaretskii <[email-masked]> writes:

> tags 39265 notabug
> thanks
>
>> From: [email-masked]
>> Date: Sat, 25 Jan 2020 00:05:25 +0900
>> 
>> 
>> #'format-mode-line assumes all characters of a string have a same 'face
>> property value and checks only the first character.
>
> Yes.  The reason is performance: the mode line is redrawn very
> frequently, basically, after every command.
>
> This is not a bug, this is the intended behavior.

I'm consequently also closing this bug report.

Best regards,
Stefan Kangas