[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: |
Mon, 15 Jul 2024 22:12:46 -0700 |
Juri Linkov <juri@linkov.net> writes:
> Let's see what Joseph and Stephane think.
Please see the attached patches, where the first three commits are
intended to be applied to the emacs-30 branch, and the final commit
removes the obsolete `tab-bar-auto-width-faces' on master.
Does this change warrant a NEWS entry?
Thanks!
Joseph
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-Remove-obsolete-tab-bar-auto-width-faces.patch
Description: Text Data
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Joseph Turner, 2024/07/01
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Juri Linkov, 2024/07/02
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Ship Mints, 2024/07/02
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Joseph Turner, 2024/07/02
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Juri Linkov, 2024/07/02
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Adam Porter, 2024/07/02
- bug#71883: [PATCH] Fix tab-bar-auto-width with customized tab-bar-tab-face-function, Juri Linkov, 2024/07/03
- 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 <=
- 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, 2024/07/25