bug#33740: [PATCH] Customizable flymake mode-line indicator

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: joaotavora@gmail.com,  33740@debbugs.gnu.org,  andreyk.mad@gmail.com
> Date: Tue, 17 Sep 2019 13:57:34 +0200
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> I thought we could just put text properties on strings we feed to the
> >> mode-line machinery, but it seems like these don't survive?
> >
> > You need to do it "wisely", then they do survive.
> 
> What does the wisdom entail?

Apply the properties judiciously to specific parts of the mode-line
string, not wholesale to all of it.