Fix redisplay of tab bar when its text properties change

* src/xdisp.c (update_tab_bar): Use 'equal-including-properties'
to compare previous with the current tab-bar items.  (Bug#76760)

(cherry picked from commit bf027eb6ff267162c116006703698668794d37cc)

diff --git a/src/xdisp.c b/src/xdisp.c
index e06c398af3ba852bbc98c5697bae31c033aa3451..5ca713f099ce5ea16b0d15412a8891b1630299ea 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -14368,7 +14368,10 @@ update_tab_bar (struct frame *f, bool save_match_data)
 
          /* 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)))
+             /* Some features modify the appearance of the tab bar by
+                 manipulating the text properties.  */
+             || NILP (Fequal_including_properties (new_tab_bar,
+                                                   f->tab_bar_items)))
             {
               /* Redisplay that happens asynchronously due to an expose event
                  may access f->tab_bar_items.  Make sure we update both