GNU bug report logs - #60073
30.0.50; [PATCH] Tab bar group format not applied to current

Previous Next

Full log

Message #13 received at control <at> debbugs.gnu.org (full text, mbox):

From: Juri Linkov <juri <at> linkov.net>
To: Gabriel <gabriel376 <at> hotmail.com>
Cc: 60073 <at> debbugs.gnu.org
Subject: Re: bug#60073: 30.0.50; [PATCH] Tab bar group format not applied to
 current
Date: Thu, 15 Dec 2022 20:04:06 +0200

close 60073 29.0.60
thanks

> Here is a new patch that also updates the function
> 'tab-bar-tab-group-format-default'.

Thanks, pushed.

> There are no breaking or functional changes in how the tab-bar behaves
> today.

It's a breaking change because we can't use a new call with three
arguments to call the function that might be customized by users with
two arguments.  So I added a safety net.

Previous Next

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