[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: |
Sat, 16 Mar 2024 13:10:14 +0200 |
> From: Elijah G <eg642616@gmail.com>
> Date: Thu, 14 Mar 2024 09:35:33 -0600
> Cc: João Távora <joaotavora@gmail.com>,
> philipk@posteo.net, emacs-devel@gnu.org
>
> On Thu, Mar 14, 2024 at 5:05 AM Eli Zaretskii <eliz@gnu.org> wrote:
>
> > > +(defcustom flymake-margin-indicators-string
> > > + `((error ,(if (char-displayable-p 8252)
> > > + "‼"
> > > + "!!")
> > > + compilation-error)
> >
> > When do you expect this value to be evaluated?
> >
> > In general, I wonder whether it would be simpler and wiser to use just
> > "!!", and leave it to users to customize to "‼" if their displays
> > support that. (We can mention the possibility in the doc string.)
>
> I implemented it in a similar way to how display-fill-column-indicator
> does with display-fill-column-indicator-character, this since I expect
> users to only set left-margin-width to 1, because if there is several
> errors on the same line, the indicators will be displayed next to each
> other and it could be confusing.
>
> However I agree that it is better to change it to just "!!",
> I fixed the patch and added a doc string for the possibility of including
> non-ASCII characters.
Spencer, any comments?
- [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 <=
- Re: [PATCH] Flymake Support Indicator Errors in Margin, bird, 2024/03/17
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Eli Zaretskii, 2024/03/17
- 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