[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64799: [PATCH] Add 'project-prompt-key' face
|
From: |
Protesilaos Stavrou |
|
Subject: |
bug#64799: [PATCH] Add 'project-prompt-key' face |
|
Date: |
Sun, 23 Jul 2023 11:19:23 +0300 |
Dear maintainers,
I noticed that the project switching dispatch menu hardcodes its face to
'bold'. Adding a new face here allows themes/users to customise that
style (e.g. to inherit the 'help-key-binding' face).
This is the least intrusive change, though I would personally also
remove the square brackets from the format specifier.
What do you think?
All the best,
Protesilaos (or simply "Prot")
--
Protesilaos Stavrou
https://protesilaos.com
0001-Add-project-prompt-key-face.patch
Description: Text Data
- bug#64799: [PATCH] Add 'project-prompt-key' face,
Protesilaos Stavrou <=
- bug#64799: [PATCH] Add 'project-prompt-key' face, Philip Kaludercic, 2023/07/23
- bug#64799: [PATCH] Add 'project-prompt-key' face, Protesilaos Stavrou, 2023/07/23
- bug#64799: [PATCH] Add 'project-prompt-key' face, Philip Kaludercic, 2023/07/23
- bug#64799: [PATCH] Add 'project-prompt-key' face, Protesilaos Stavrou, 2023/07/24
- bug#64799: [PATCH] Add 'project-prompt-key' face, Dmitry Gutov, 2023/07/24
- bug#64799: [PATCH] Add 'project-prompt-key' face, Philip Kaludercic, 2023/07/25
- bug#64799: [PATCH] Add 'project-prompt-key' face, Dmitry Gutov, 2023/07/25
- bug#64799: [PATCH] Add 'project-prompt-key' face, Protesilaos Stavrou, 2023/07/26
- bug#64799: [PATCH] Add 'project-prompt-key' face, Eli Zaretskii, 2023/07/26
- bug#64799: [PATCH] Add 'project-prompt-key' face, Dmitry Gutov, 2023/07/26