[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Flymake Support Indicator Errors in Margin
From: |
Eli Zaretskii |
Subject: |
Re: [PATCH] Flymake Support Indicator Errors in Margin |
Date: |
Sun, 17 Mar 2024 19:01:02 +0200 |
> From: bird <sbaugh@catern.com>
> Date: Sun, 17 Mar 2024 16:44:15 +0000 (UTC)
> Cc: Elijah G <eg642616@gmail.com>, Spencer Baugh <sbaugh@janestreet.com>,
> joaotavora@gmail.com, philipk@posteo.net, emacs-devel@gnu.org
>
> - I'm not sure whether or why this is even desirable in a TTY.
>
> The indicators duplicate information that's already communicated by
> the face, so they're a minor benefit. In a graphical frame, the
> indicators are basically "free" in terms of visual space, since they
> display in the fringe which already exists, so it's worth having them.
>
> But in a TTY, with the current patch, two columns of text in every
> flymake buffer will be devoted to displaying these indicators, whether
> they're currently needed or not. That seems like too high a cost,
> unless I'm missing something.
As long as this is an opt-in feature, I don't see this as a problem.
> - If it *is* desirable on a TTY, then the need to explicitly configure
> it is unfortunate.
I tend to agree. And not only on TTY frames: GUI frames can disable
fringes as well.
- [PATCH] Flymake Support Indicator Errors in Margin, Elijah G, 2024/03/11
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Philip Kaludercic, 2024/03/12
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Elijah G, 2024/03/12
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Eli Zaretskii, 2024/03/13
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Elijah G, 2024/03/13
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Eli Zaretskii, 2024/03/14
- Re: [PATCH] Flymake Support Indicator Errors in Margin, João Távora, 2024/03/14
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Elijah G, 2024/03/14
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Eli Zaretskii, 2024/03/16
- Re: [PATCH] Flymake Support Indicator Errors in Margin, bird, 2024/03/17
- Re: [PATCH] Flymake Support Indicator Errors in Margin,
Eli Zaretskii <=
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Elijah G, 2024/03/17
- Re: [PATCH] Flymake Support Indicator Errors in Margin, bird, 2024/03/17
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Elijah G, 2024/03/17
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Elijah G, 2024/03/24
- Re: [PATCH] Flymake Support Indicator Errors in Margin, sbaugh, 2024/03/26
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Elijah G, 2024/03/26
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Elijah G, 2024/03/27
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Eli Zaretskii, 2024/03/28
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Elijah G, 2024/03/28
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Juri Linkov, 2024/03/28