[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#33740: [PATCH] Customizable flymake mode-line indicator
|
From: |
Eli Zaretskii |
|
Subject: |
bug#33740: [PATCH] Customizable flymake mode-line indicator |
|
Date: |
Tue, 17 Sep 2019 09:09:14 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Tue, 17 Sep 2019 00:22:08 +0200
> Cc: 33740@debbugs.gnu.org, Andrii Kolomoiets <andreyk.mad@gmail.com>
>
> 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.
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Lars Ingebrigtsen, 2019/09/16
- bug#33740: [PATCH] Customizable flymake mode-line indicator,
Eli Zaretskii <=
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Lars Ingebrigtsen, 2019/09/17
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Eli Zaretskii, 2019/09/17
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Lars Ingebrigtsen, 2019/09/17
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Eli Zaretskii, 2019/09/17
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Lars Ingebrigtsen, 2019/09/18
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Lars Ingebrigtsen, 2019/09/18
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Lars Ingebrigtsen, 2019/09/19
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Lars Ingebrigtsen, 2019/09/19
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Lars Ingebrigtsen, 2019/09/19
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Eli Zaretskii, 2019/09/19