Subject: Re: bug#76760: 31.0.50; Tab bar not updating on text property changes

From: Juri Linkov <[email-masked]>
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.