GNU bug report logs - #76760
31.0.50; Tab bar not updating on text property changes

Previous Next

Full log

View this message in rfc822 format

From: Juri Linkov <juri <at> linkov.net>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 76760 <at> debbugs.gnu.org, Pengji Zhang <me <at> pengjiz.com>
Subject: bug#76760: 31.0.50; Tab bar not updating on text property changes
Date: Wed, 05 Mar 2025 19:21:16 +0200

>>     /* Redisplay the tab-bar if we changed it.  */
>>     if (new_n_tab_bar != f->n_tab_bar_items
>>         || NILP (Fequal (new_tab_bar, f->tab_bar_items)))
>>     {...}
>> 
>> Text properties of strings are not examined in 'Fequal', so the old and
>> the new bars are considered the same.
>
> This can be easily modified to use equal-including-properties, as
> below, but I wonder whether this perhaps could cause too-eager
> redisplay of the tab bar in some cases where we don't want.  Juri,
> WDYT?

I don't remember such a property that changes too often
that would cause frequent redisplay of the tab bar.
So this looks like the right thing to do.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.