[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: |
Fri, 28 Jul 2023 06:33:56 +0300 |
> From: Dmitry Gutov <dmitry@gutov.dev>
> Date: Thu, 27 Jul 2023 04:28:08 +0300
> [... 14 lines elided]
> The change in format seems to go hand-in-hand with the change in face,
> though, because help-key-binding has a box already.
>
> Does this look good to everybody?
>
> diff --git a/lisp/progmodes/project.el b/lisp/progmodes/project.el
> index d482cc24d70..3611757fb82 100644
> --- a/lisp/progmodes/project.el
> +++ b/lisp/progmodes/project.el
> @@ -1781,9 +1781,13 @@ project--keymap-prompt
> (let ((key (if key
> (vector key)
> (where-is-internal cmd (list project-prefix-map) t))))
> - (format "[%s] %s"
> - (propertize (key-description key) 'face 'bold)
> - label)))
> + (if (facep 'help-key-binding)
> + (format "%s %s"
> + (propertize (key-description key) 'face
> 'help-key-binding)
> + label)
> + (format "[%s] %s"
> + (propertize (key-description key) 'face 'bold)
> + label))))
> project-switch-commands
> " "))
I am fine with this approach, thank you!
--
Protesilaos Stavrou
https://protesilaos.com
- bug#64799: [PATCH] Add 'project-prompt-key' face, (continued)
- 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
- bug#64799: [PATCH] Add 'project-prompt-key' face, Eli Zaretskii, 2023/07/27
- bug#64799: [PATCH] Add 'project-prompt-key' face, Dmitry Gutov, 2023/07/27
- bug#64799: [PATCH] Add 'project-prompt-key' face, Eli Zaretskii, 2023/07/28
- bug#64799: [PATCH] Add 'project-prompt-key' face, Dmitry Gutov, 2023/07/26
- bug#64799: [PATCH] Add 'project-prompt-key' face,
Protesilaos Stavrou <=
- bug#64799: [PATCH] Add 'project-prompt-key' face, Philip Kaludercic, 2023/07/28