[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64759: Broken faces
From: |
Eli Zaretskii |
Subject: |
bug#64759: Broken faces |
Date: |
Fri, 21 Jul 2023 13:56:15 +0300 |
> Cc: 64759@debbugs.gnu.org
> From: Juri Linkov <juri@linkov.net>
> Date: Fri, 21 Jul 2023 11:13:52 +0300
>
> Because it's used on the tab bar.
Then perhaps tab-bar.el should define its own face for that, and apply
it when displaying time there.
- bug#64759: Broken faces, Juri Linkov, 2023/07/21
- bug#64759: Broken faces, Robert Pluim, 2023/07/21
- bug#64759: Broken faces, Eli Zaretskii, 2023/07/21
- bug#64759: Broken faces, Juri Linkov, 2023/07/21
- bug#64759: Broken faces, Mauro Aranda, 2023/07/21
- bug#64759: Broken faces, Juri Linkov, 2023/07/21
- bug#64759: Broken faces, Eli Zaretskii, 2023/07/21
- bug#64759: Broken faces, Juri Linkov, 2023/07/21
- bug#64759: Broken faces, Eli Zaretskii, 2023/07/21
- bug#64759: Broken faces, Juri Linkov, 2023/07/21
- bug#64759: Broken faces, Eli Zaretskii, 2023/07/21
- bug#64759: Broken faces, Juri Linkov, 2023/07/24