bug#74876: 31.0.50; Force fringe refresh / force-window-update not affecting fringes

[Michal Nazarewicz <mina86@mina86.com>]

On Tue, Dec 17 2024, Eli Zaretskii wrote:
>> From: Michal Nazarewicz <mina86@mina86.com>
>> Cc: 74876@debbugs.gnu.org
>> Date: Mon, 16 Dec 2024 22:47:43 +0100
>> 
>> On Sun, Dec 15 2024, Eli Zaretskii wrote:
>> > Thanks.  I don't think what you want can possibly work, unless we
>> > completely redesign how the fringes are updated.
>> 
>> Well… there’s always the atomic option of calling redraw-frame.  Though
>> I’ve found that changing an attribute of a font is sufficient.
>> I believe what makes things work is setting f->face_change and calling
>> fset_redisplay.
>
> Both methods are quite expensive, and will cause flickering in some
> configurations,

Yes, I’ve figured as much, but it’s not like I have another choice.

auto-dim-other-buffers redraws entire windows already; someone using
likely has setup that can handle full frame redraws as well.

-- 
Best regards
ミハウ “𝓶𝓲𝓷𝓪86” ナザレヴイツ
«If at first you don’t succeed, give up skydiving»