[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Flymake Support Indicator Errors in Margin
From: |
bird |
Subject: |
Re: [PATCH] Flymake Support Indicator Errors in Margin |
Date: |
Sun, 17 Mar 2024 18:43:52 +0000 (UTC) |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Elijah G <eg642616@gmail.com> writes:
> On Sun, Mar 17, 2024 at 10:44 AM bird <sbaugh@catern.com> wrote:
>> Elijah, could you say more about your setup?
>>
>> - You mentioned you already have a left margin configured; what is
>> displayed in that margin? Is it anything other than flymake/flycheck
>> indicators?
>
> Yes, it is dape-mode, in terminal dape is automatically configured for
> display breakpoints in left-margin, however the error indicators can appear
> next to breakpoint or even hide it if left-margin-width is less than 1.
> This can also apply to other packages that can use margins like
> git-gutter, et cetera.
I see. Wouldn't the margin-based indicator conflict with these
packages, then?
>> - Is there some reason that seeing the indicators is especially
>> important for you? Does it communicate information not already
>> carried by the face?
>
> It is due that the fringes are too small in HIDPI screens, i know
> I can change it to a bigger fringe bitmap and increase fringe width size,
> however this is a problem when increasing and decreasing text size.
Oh, so the motivation for this patch is actually for hidpi support in
graphical frames, not support in terminal frames?
I see that there are a number of bugs about fringes not being scaled for
hidpi screens on X... that's unfortunate. Especially relevant is
bug#37932.
Po Lu, any comments about supporting hidpi fringes on X? Is that
fundamentally hard, or is it just a matter of writing some code which
does scaling?
Even a basic, partial implementation of hidpi fringes would be very
good, I think. Without that, perhaps flymake should use margins instead
of fringes even on graphical frames. hidpi screens are increasingly
common, after all.
- Re: [PATCH] Flymake Support Indicator Errors in Margin, (continued)
- 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, 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 <=
- 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
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Elijah G, 2024/03/28
- Re: [PATCH] Flymake Support Indicator Errors in Margin, Augusto Stoffel, 2024/03/19