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

Previous Next

Full log

Message #16 received at 76760-done <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Juri Linkov <juri <at> linkov.net>
Cc: 76760-done <at> debbugs.gnu.org, me <at> pengjiz.com
Subject: Re: bug#76760: 31.0.50; Tab bar not updating on text property changes
Date: Thu, 06 Mar 2025 10:53:02 +0200

> From: Juri Linkov <juri <at> linkov.net>
> Cc: Pengji Zhang <me <at> pengjiz.com>,  76760 <at> debbugs.gnu.org
> 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.

Previous Next

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