[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-fa
From: |
Joseph Turner |
Subject: |
bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function |
Date: |
Thu, 25 Jul 2024 16:00:10 -0700 |
Eli Zaretskii <eliz@gnu.org> writes:
>> From: Joseph Turner <joseph@breatheoutbreathe.in>
>> Cc: Eli Zaretskii <eliz@gnu.org>, adam@alphapapa.net,
>> 71883@debbugs.gnu.org, shipmints@gmail.com
>> Date: Thu, 25 Jul 2024 11:11:01 -0700
>>
>> +** Tab Bars and Tab Lines
>> +
>> +*** New abnormal hook 'tab-bar-auto-width-functions'. This hook
>> +allows you to control which tab-bar tabs are automatically resized.
>
> The first line should be a single complete sentence.
Thanks! See patches.
0001-Use-current-group-symbol-for-current-tab-group-item.patch
Description: Text Data
0002-Add-abnormal-hook-to-determine-which-tabs-to-auto-wi.patch
Description: Text Data
0003-Mark-tab-bar-auto-width-faces-obsolete.patch
Description: Text Data
0004-etc-NEWS-Announce-tab-bar-auto-width-functions.patch
Description: Text Data
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, (continued)
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Adam Porter, 2024/07/03
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Juri Linkov, 2024/07/04
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Ship Mints, 2024/07/04
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Joseph Turner, 2024/07/16
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Eli Zaretskii, 2024/07/17
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Juri Linkov, 2024/07/19
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Joseph Turner, 2024/07/25
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Juri Linkov, 2024/07/25
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Joseph Turner, 2024/07/25
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Eli Zaretskii, 2024/07/25
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function,
Joseph Turner <=