[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Interactive guide for new users
From: |
John Yates |
Subject: |
Re: Interactive guide for new users |
Date: |
Mon, 14 Sep 2020 08:41:21 -0400 |
On Sun, Sep 13, 2020 at 1:39 PM Dmitry Gutov <dgutov@yandex.ru> wrote:
>
> On 13.09.2020 19:38, John Yates wrote:
> > An alternative UI model would be to think of growing a frame top
> > minibuffer as dropping down a shade over the existing window(s).
> > This dropping down would not trigger resizing. Instead it would
> > obscure as much of the visible window(s) as necessary (at least
> > until the shade hits a window mode line or lower border).
>
> That's what maple-minibuffer does, mentioned in my previous email in
> this thread. With a link to a screencast.
Only up to a point...
The pop-up frame is fixed size. When the maple framei s not
popped up the minibuffer remains at the bottom of the frame.
My druthers on a large screen would be to have:
* The minibuffer always at the top of the frame
* Window mode lines at the top of their windows
* On growing the minibuffer, no attempt to keep point or windows visible
(i.e. a variable-height drop-down shade)
/john
- Re: Interactive guide for new users, (continued)
- Re: Interactive guide for new users, Thibaut Verron, 2020/09/15
- Re: Interactive guide for new users, E, 2020/09/15
- Re: Interactive guide for new users, Dmitry Gutov, 2020/09/13
- Re: Interactive guide for new users, Tim Van den Langenbergh, 2020/09/13
- Re: Interactive guide for new users, Ergus, 2020/09/13
- Re: Interactive guide for new users, Gregory Heytings, 2020/09/13
- 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 <=
- 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, 2020/09/15
- 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