[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: IDE
From: |
Dmitry Gutov |
Subject: |
Re: IDE |
Date: |
Mon, 12 Oct 2015 19:21:43 +0300 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:41.0) Gecko/20100101 Thunderbird/41.0 |
On 10/12/2015 06:55 PM, Eli Zaretskii wrote:
I don't see why you would conclude this. Imagine that each keystroke
pops down the menu and then immediately pops it up with the updated
display -- what is the problem with that in this scenario?
If that can work quickly enough, that minus ones problem.
But our menus are rather limited in terms of decoration. You asked for a
popup with pictures and different fonts, I don't think we'd support it
that way.
- Re: IDE, (continued)
- Re: IDE, Dmitry Gutov, 2015/10/11
- Re: IDE, martin rudalics, 2015/10/11
- Re: IDE, Dmitry Gutov, 2015/10/11
- Re: IDE, David Engster, 2015/10/11
- Re: IDE, Dmitry Gutov, 2015/10/11
- Re: IDE, David Engster, 2015/10/11
- Re: IDE, Dmitry Gutov, 2015/10/11
- Re: IDE, Eric Ludlam, 2015/10/12
- Re: IDE, Dmitry Gutov, 2015/10/12
- Re: IDE, Eli Zaretskii, 2015/10/12
- Re: IDE,
Dmitry Gutov <=
- Re: IDE, Eli Zaretskii, 2015/10/12
- Re: IDE, Dmitry Gutov, 2015/10/15
- Re: IDE, Eli Zaretskii, 2015/10/15
- Re: IDE, Dmitry Gutov, 2015/10/11
- Re: IDE, martin rudalics, 2015/10/11
- Re: IDE, Dmitry Gutov, 2015/10/11
- Re: IDE, martin rudalics, 2015/10/11
- Re: IDE, Dmitry Gutov, 2015/10/11
- Re: IDE, martin rudalics, 2015/10/11
- Re: IDE, David Engster, 2015/10/15