[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Layered display API
From: |
Eli Zaretskii |
Subject: |
Re: Layered display API |
Date: |
Wed, 13 Aug 2014 18:29:22 +0300 |
> From: Stefan Monnier <address@hidden>
> Cc: Eli Zaretskii <address@hidden>, address@hidden, address@hidden
> Date: Wed, 13 Aug 2014 08:46:59 -0400
>
> From a display point of view, I think the "tty menus" approach is indeed
> the cleanest solution when running on a tty. But they can't be used
> as-is for lack of flexibility w.r.t key-bindings and appearance (we
> don't really need borders for Company menus, but we do need control
> over colors).
>
> In a GUI frame, OTOH, we'd be much better off with a GUI window
> (something akin to a tooltip frame).
I agree.
- Re: Layered display API (was: bug#18195: 24.3.92; window-screen-lines is not accurate), (continued)
Re: Layered display API, Dmitry Gutov, 2014/08/06
- Re: Layered display API, Eli Zaretskii, 2014/08/07
- Re: Layered display API, Dmitry Gutov, 2014/08/10
- Re: Layered display API, Eli Zaretskii, 2014/08/11
- Re: Layered display API, Dmitry Gutov, 2014/08/12
- Re: Layered display API, Stefan Monnier, 2014/08/13
- Re: Layered display API,
Eli Zaretskii <=
- Re: Layered display API, Dmitry Gutov, 2014/08/13
- Re: Layered display API, Eli Zaretskii, 2014/08/13
- Re: Layered display API, Stefan Monnier, 2014/08/13
Re: Layered display API, Eli Zaretskii, 2014/08/13
Re: Layered display API, Dmitry Gutov, 2014/08/13
Re: Layered display API, Eli Zaretskii, 2014/08/13
Re: Layered display API, Dmitry Gutov, 2014/08/14
Re: Layered display API, Eli Zaretskii, 2014/08/14
Re: Layered display API, Dmitry Gutov, 2014/08/14
Re: Layered display API, Eli Zaretskii, 2014/08/15