[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Interactive guide for new users
From: |
Eli Zaretskii |
Subject: |
Re: Interactive guide for new users |
Date: |
Tue, 15 Sep 2020 17:15:57 +0300 |
> From: John Yates <john@yates-sheets.org>
> Date: Mon, 14 Sep 2020 21:42:42 -0400
> Cc: Dmitry Gutov <dgutov@yandex.ru>, ghe@sdf.org, Ergus <spacibba@aol.com>,
> Yuan Fu <casouri@gmail.com>, Emacs developers <emacs-devel@gnu.org>
>
> > > (i.e. a variable-height drop-down shade)
> >
> > Can you elaborate about this (and its relevance to growing the
> > mini-window)? I don't think I see the relation.
>
> Forgive me if I inaccurately conflate the minibuffer and the echo
> area. Let me try some pictures.
>
>
> Minibuffer in its minimal, collapsed, single line state:
Ah, so this should go together with "minibuffer on top". Thanks, now
everything is clear.
- Re: Interactive guide for new users, (continued)
- Re: Interactive guide for new users, Eli Zaretskii, 2020/09/13
- Re: Interactive guide for new users, John Yates, 2020/09/13
- Re: Interactive guide for new users, Eli Zaretskii, 2020/09/13
- Re: Interactive guide for new users, Dmitry Gutov, 2020/09/13
- Re: Interactive guide for new users, John Yates, 2020/09/14
- Re: Interactive guide for new users, Eli Zaretskii, 2020/09/14
- Re: Interactive guide for new users, John Yates, 2020/09/14
- Re: Interactive guide for new users, Göktuğ Kayaalp, 2020/09/15
- Re: Interactive guide for new users, John Yates, 2020/09/15
- Re: Interactive guide for new users, Göktuğ Kayaalp, 2020/09/16
- Re: Interactive guide for new users,
Eli Zaretskii <=
- Re: Interactive guide for new users, Dmitry Gutov, 2020/09/14
- Re: Interactive guide for new users, Dmitry Gutov, 2020/09/13
- Re: Interactive guide for new users, Gregory Heytings, 2020/09/14
- Re: Interactive guide for new users, Elias Mårtenson, 2020/09/26
- Re: Interactive guide for new users, Eli Zaretskii, 2020/09/26
- RE: Interactive guide for new users, Drew Adams, 2020/09/26
- Re: Interactive guide for new users, Eli Zaretskii, 2020/09/26
- RE: Interactive guide for new users, Drew Adams, 2020/09/26
- Re: Interactive guide for new users, Andreas Schwab, 2020/09/26
- RE: Interactive guide for new users, Drew Adams, 2020/09/26