GNU bug report logs -
#66041
30.0.50; Should 'flymake-note-echo' inherit from 'compilation-info'?
Previous Next
Reported by: Jim Porter <jporterbugs <at> gmail.com>
Date: Sun, 17 Sep 2023 04:43:02 UTC
Severity: minor
Found in version 30.0.50
Done: João Távora <joaotavora <at> gmail.com>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
On Mon, Sep 25, 2023 at 3:19 PM Eli Zaretskii <eliz <at> gnu.org> wrote:
>
> > From: João Távora <joaotavora <at> gmail.com>
> > Date: Mon, 25 Sep 2023 14:52:07 +0100
> > Cc: jporterbugs <at> gmail.com, 66041 <at> debbugs.gnu.org
> >
> > > Does this explain what happens?
> >
> > Yes, it does. Although I would expect that when two overlays
> > that compete for the same resource (in this case, the
> > same portion of the left fringe) the overlay with the highest
> > priority would win that competition -- not the "last one".
>
> There's no built-in mechanism for the display engine to do that, and
> the fact that overlays are processed one by one in the order they are
> encountered doesn't help: when processing an overlay the display
> engine has no idea there are other overlays in the same screen line
> that will "compete" for the fringe display.
Could it be changed, as it analyses a line, to keep a record of
which overlays have already touched the left fringe for that line
(and then clear this record as it moves on to other lines).
This would be easiest to implement if the the display doesn't
sometimes consider only a fraction of a line.I don't know if this
holds true. I assume it does, since otherwise that would mean that
if a line is scrolled near the beginning and truncated, the current
"last one" criteria you described before also doesn't always
hold true.
> Did you try using that here?
No. It should work, though, but seems fairly complex to implement.
Also sounds a bit slow, though the optimizations maybe solve that.
IMHO this should be automatic and based on relative overlay
priorities. It's too heavy a burden to place on overlay
clients.
João
This bug report was last modified 1 year and 237 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.