[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#34022: 26.1; Region highlight has lower priority than flymake overla
bug#34022: 26.1; Region highlight has lower priority than flymake overlays
Fri, 11 Jan 2019 23:00:27 +0200
> From: João Távora <address@hidden>
> Cc: address@hidden, address@hidden
> Date: Fri, 11 Jan 2019 20:04:05 +0000
> But if I make Flymake use priorities of the form (nil . 41), it is
> possible to see both the region and the diagnostic in both A and B. I
> think it's the way this should behave.
Then feel free to go ahead and use that.