[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Adding a "quick-help" menu
From: |
Philip Kaludercic |
Subject: |
Re: Adding a "quick-help" menu |
Date: |
Sun, 18 Sep 2022 09:10:09 +0000 |
Stefan Kangas <stefankangas@gmail.com> writes:
> Philip Kaludercic <philipk@posteo.net> writes:
>
>> What I am taking issue with is the resizing of the echo area (real or
>> apparent), *especially* when it is done in reaction to a non-action
>> like waiting.
>
> The action is pressing a key. That's not a "non-action", IMHO.
OK, It is the sequence of an action (that may or may not be intended to
invoke `which-key') and a "non-action", namely waiting.n
> It's not that different from, e.g., `company-idle-delay'.
True, but company-mode is neither bundled by default let alone enabled.
All I am trying to argue is that `which-key' doesn't fit the style and
behaviour of default Emacs, *because* it uses idle times to change the
UI.
- Re: Adding a "quick-help" menu, (continued)
- Re: Adding a "quick-help" menu, Stefan Kangas, 2022/09/16
- Re: Adding a "quick-help" menu, Philip Kaludercic, 2022/09/16
- Re: Adding a "quick-help" menu, SÅ‚awomir Grochowski, 2022/09/16
- Re: Adding a "quick-help" menu, Philip Kaludercic, 2022/09/16
- Re: Adding a "quick-help" menu, Gregor Zattler, 2022/09/17
- Re: Adding a "quick-help" menu, Philip Kaludercic, 2022/09/17
- Re: Adding a "quick-help" menu, Stefan Kangas, 2022/09/17
- Re: Adding a "quick-help" menu, Philip Kaludercic, 2022/09/17
- Re: Adding a "quick-help" menu, Stefan Kangas, 2022/09/17
- Re: Adding a "quick-help" menu, Eli Zaretskii, 2022/09/18
- Re: Adding a "quick-help" menu,
Philip Kaludercic <=
- Re: Adding a "quick-help" menu, Visuwesh, 2022/09/18
- Re: Adding a "quick-help" menu, Gregor Zattler, 2022/09/18
- which-key (was: Adding a "quick-help" menu), Stefan Monnier, 2022/09/17
- Re: which-key, Visuwesh, 2022/09/18
- Re: which-key, Gregory Heytings, 2022/09/18
- Re: which-key (was: Adding a "quick-help" menu), Gregory Heytings, 2022/09/18
- Re: which-key, Po Lu, 2022/09/18
- Re: which-key, Gregory Heytings, 2022/09/18
- Re: which-key, Lars Ingebrigtsen, 2022/09/18
- Re: which-key, Stefan Monnier, 2022/09/18