[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#60073: 30.0.50; [PATCH] Tab bar group format not applied to current
|
From: |
Gabriel |
|
Subject: |
bug#60073: 30.0.50; [PATCH] Tab bar group format not applied to current |
|
Date: |
Thu, 15 Dec 2022 12:04:42 -0300 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Here is a new patch that also updates the function
'tab-bar-tab-group-format-default'. There are no breaking or functional
changes in how the tab-bar behaves today.
With this patch, the 'tab-bar-tab-group-format-function' behaves
similarly to 'tab-bar-tab-name-format-function'.
0001-Make-tab-bar-tab-group-format-function-also-handle-c.patch
Description: Text Data
---
Gabriel