[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 371c4f642a 1/2: Add new commands to zoom emojis
From: |
Lars Ingebrigtsen |
Subject: |
Re: master 371c4f642a 1/2: Add new commands to zoom emojis |
Date: |
Fri, 01 Jul 2022 11:15:02 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Juri Linkov <juri@linkov.net> writes:
> So you could simply use set-transient-map like e.g. indent-rigidly and
> text-scale-adjust are doing.
Ah, thanks. That was just about as easy to use as I'd hoped. 😀
Perhaps `set-transient-map' should also have an optional MESSAGE thing
that constructs the message? That is, pass in a MESSAGE of "Indent
region with" and it then constructs the rest via the keymap parameter?
(I think typically these maps don't have keys you wouldn't mention in
these messages...)
(substitute-command-keys
"Indent region with \\<indent-rigidly-map>\\[indent-rigidly-left],
\\[indent-rigidly-right], \\[indent-rigidly-left-to-tab-stop], or
\\[indent-rigidly-right-to-tab-stop]."))
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: master 371c4f642a 1/2: Add new commands to zoom emojis,
Lars Ingebrigtsen <=
- Re: master 371c4f642a 1/2: Add new commands to zoom emojis, Juri Linkov, 2022/07/01
- Re: master 371c4f642a 1/2: Add new commands to zoom emojis, Arash Esbati, 2022/07/04
- Re: master 371c4f642a 1/2: Add new commands to zoom emojis, Eli Zaretskii, 2022/07/04
- Re: master 371c4f642a 1/2: Add new commands to zoom emojis, Arash Esbati, 2022/07/04
- Re: master 371c4f642a 1/2: Add new commands to zoom emojis, Eli Zaretskii, 2022/07/04
- Re: master 371c4f642a 1/2: Add new commands to zoom emojis, Arash Esbati, 2022/07/04
- Re: master 371c4f642a 1/2: Add new commands to zoom emojis, Eli Zaretskii, 2022/07/04
- Re: master 371c4f642a 1/2: Add new commands to zoom emojis, Arash Esbati, 2022/07/05
- Re: master 371c4f642a 1/2: Add new commands to zoom emojis, Eli Zaretskii, 2022/07/05
- Re: master 371c4f642a 1/2: Add new commands to zoom emojis, Arash Esbati, 2022/07/05