[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#33740: [PATCH] Customizable flymake mode-line indicator
From: |
Lars Ingebrigtsen |
Subject: |
bug#33740: [PATCH] Customizable flymake mode-line indicator |
Date: |
Fri, 20 Sep 2019 15:13:21 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> If we want to have a richer set of indicators for Flymake, may I
> suggest considering alternative methods of indicating stuff, and
> leaving the poor-old crammed mode line alone?
No, we don't want a richer set of indicators -- a user requested being
allowed to customise it (to remove stuff from it), and I tried to do
that via the `format-spec' machinery.
But that can't be used, since display_mode_element requires us to return
a complex list that it re-interprets instead of being able to just give
it a string that it'll display.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#33740: [PATCH] Customizable flymake mode-line indicator, (continued)
- 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
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Lars Ingebrigtsen, 2019/09/20
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Eli Zaretskii, 2019/09/20
- bug#33740: [PATCH] Customizable flymake mode-line indicator,
Lars Ingebrigtsen <=
bug#33740: [PATCH] Customizable flymake mode-line indicator, João Távora, 2019/09/17
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Lars Ingebrigtsen, 2019/09/18
- bug#33740: [PATCH] Customizable flymake mode-line indicator, João Távora, 2019/09/18
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Lars Ingebrigtsen, 2019/09/19
- bug#33740: [PATCH] Customizable flymake mode-line indicator, João Távora, 2019/09/20
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Lars Ingebrigtsen, 2019/09/21
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Juri Linkov, 2019/09/22
- bug#33740: [PATCH] Customizable flymake mode-line indicator, João Távora, 2019/09/23
- bug#33740: [PATCH] Customizable flymake mode-line indicator, Lars Ingebrigtsen, 2019/09/23
bug#33740: [PATCH] Customizable flymake mode-line indicator, João Távora, 2019/09/23