[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Layered display API

From: Dmitry Gutov
Subject: Re: Layered display API
Date: Wed, 13 Aug 2014 20:27:27 +0400
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.0

On 08/13/2014 04:46 PM, Stefan Monnier wrote:

don't really need borders for Company menus, but we do need control
over colors).

Yes, we use a one-column/row margin instead of borders. Works pretty well. We'll need to be able to "paint" the non-interactive scrollbar, at least, like we do in the current popup.

In a GUI frame, OTOH, we'd be much better off with a GUI window
(something akin to a tooltip frame).

When it's ready, yes. Until then, tty menus should work pretty well in the graphical mode, too. If they're available, of course.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]