Subject: Re: bug#76760: 31.0.50; Tab bar not updating on text property changes
From: Eli Zaretskii <[email-masked]>
To: Juri Linkov <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Thu, 06 Mar 2025 10:53:02 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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

Thanks, installed on the master branch, and closing the bug.