[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64799: [PATCH] Add 'project-prompt-key' face
|
From: |
Visuwesh |
|
Subject: |
bug#64799: [PATCH] Add 'project-prompt-key' face |
|
Date: |
Wed, 23 Aug 2023 21:15:50 +0530 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
[புதன் ஆகஸ்ட் 23, 2023] Dmitry Gutov wrote:
> On 23/08/2023 18:35, Visuwesh wrote:
>>> Anyway, if you want the option, can you suggest how it will be called?
>>> Will it be just boolean?
>> A boolean option will be fine. The facep condition can then be changed
>> to (and NEW-OPTION (facep 'help-key-binding)).
>
> Any ideas for the name?
project-prompt-key-use-bold-face? I am unfortunately terrible at naming
things.
- bug#64799: [PATCH] Add 'project-prompt-key' face, Dmitry Gutov, 2023/08/11
- bug#64799: [PATCH] Add 'project-prompt-key' face, Visuwesh, 2023/08/23
- bug#64799: [PATCH] Add 'project-prompt-key' face, Philip Kaludercic, 2023/08/23
- bug#64799: [PATCH] Add 'project-prompt-key' face, Dmitry Gutov, 2023/08/23
- bug#64799: [PATCH] Add 'project-prompt-key' face, Visuwesh, 2023/08/23
- bug#64799: [PATCH] Add 'project-prompt-key' face, Dmitry Gutov, 2023/08/23
- bug#64799: [PATCH] Add 'project-prompt-key' face, Visuwesh, 2023/08/23
- bug#64799: [PATCH] Add 'project-prompt-key' face, Dmitry Gutov, 2023/08/23
- bug#64799: [PATCH] Add 'project-prompt-key' face,
Visuwesh <=
- bug#64799: [PATCH] Add 'project-prompt-key' face, Dmitry Gutov, 2023/08/23
- bug#64799: [PATCH] Add 'project-prompt-key' face, Visuwesh, 2023/08/23
- bug#64799: [PATCH] Add 'project-prompt-key' face, Mauro Aranda, 2023/08/24
- bug#64799: [PATCH] Add 'project-prompt-key' face, Dmitry Gutov, 2023/08/24