[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: which-key
From: |
Corwin Brust |
Subject: |
Re: which-key |
Date: |
Mon, 19 Sep 2022 08:26:03 -0500 |
On Mon, Sep 19, 2022 at 3:19 AM Gregory Heytings <gregory@heytings.org> wrote:
> >
> > I just think it would be distracting.
> >
>
> Okay, a status quo is fine with me, too.
FWIW, I would expect any change that materially helps new users by
adding "clues" of how to find things will require some express action
(e.g. by veteran users) to disable. Finding ways to help newer users
that more experienced users won't notice (or won't mind) seems like a
very tall order.
- Re: which-key (was: Adding a "quick-help" menu), (continued)
- 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
- Re: which-key, Stefan Kangas, 2022/09/18
- Re: which-key, Gregor Zattler, 2022/09/18
- Re: which-key, Gregory Heytings, 2022/09/18
- Re: which-key, Lars Ingebrigtsen, 2022/09/19
- Re: which-key, Gregory Heytings, 2022/09/19
- Re: which-key,
Corwin Brust <=
- Re: which-key, Emanuel Berg, 2022/09/19
- Re: which-key, Lars Ingebrigtsen, 2022/09/19
- Re: which-key, Stefan Kangas, 2022/09/19
- Re: which-key, Po Lu, 2022/09/18
- RE: [External] : Re: Adding a "quick-help" menu, Drew Adams, 2022/09/17
- Re: Adding a "quick-help" menu, Stefan Kangas, 2022/09/16
- Re: Adding a "quick-help" menu, Philip Kaludercic, 2022/09/16
- RE: [External] : Re: Adding a "quick-help" menu, Drew Adams, 2022/09/16
- RE: [External] : Re: Adding a "quick-help" menu, Drew Adams, 2022/09/16
- Re: Adding a "quick-help" menu, Stefan Monnier, 2022/09/16