|
| 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:
(we 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.
| [Prev in Thread] | Current Thread | [Next in Thread] |