[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 01:10:37 +0300 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:41.0) Gecko/20100101 Thunderbird/41.0 |
On 10/11/2015 06:23 PM, Eli Zaretskii wrote:
High-level design is not "big design". Quite the contrary: it
generally leaves out all of the details, and documents only the main
design decisions. Like which features will be included and which
definitely excluded, whether "fixed-window" appearance should be part
of it or not, etc. You can call this "guidelines" if "design" sounds
too much.
Sounds good to me. Yes, "guidelines" is a more familiar term for that.
a significant number of users might prefer to use only some of the
parts.
That's OK, and I see no problem with that.
So we need to make sure that they can.
- It's background rendering is inconsistent. As an example, the first
time I evaluate (tooltip-show "abc") in an Emacs session, the background
is yellow-ish. The next time, and after that, the background is black.
This could be the result of the recent changes by Ken, to make
tooltips less "voracious", to use Martin's term. Trying in an older
Emacs will tell.
No, that's a fairly old problem. And specific to GTK, IIUC.
- Is there a way to show several tooltips at once? To display different
elements of the completion UI side by side.
No, you need to lump them all together, or use menus.
Neither option is good enough.
- If a tooltip is displayed, and I Alt-Tab to another program's window,
the tooltip remains on top. This is by far the most annoying one.
Martin told you how to solve this, I think.
Yup.
- Re: IDE, (continued)
- Message not available
- Re: IDE, Oleh Krehel, 2015/10/12
- Re: IDE, Óscar Fuentes, 2015/10/12
- Re: IDE, Oleh Krehel, 2015/10/12
- Re: IDE, Eli Zaretskii, 2015/10/12
- Message not available
- RE: IDE, Drew Adams, 2015/10/12
- Message not available
- RE: IDE, Drew Adams, 2015/10/12
- Re: IDE, Dmitry Gutov, 2015/10/12
- Re: IDE, Eli Zaretskii, 2015/10/12
- Re: IDE, Steinar Bang, 2015/10/12
- Re: IDE, Eli Zaretskii, 2015/10/11
- Re: IDE,
Dmitry Gutov <=
- Re: IDE, Richard Stallman, 2015/10/11
- Re: IDE, John Wiegley, 2015/10/11
- Re: IDE, Richard Stallman, 2015/10/12
- Re: IDE, Dmitry Gutov, 2015/10/10
- Re: IDE, Eli Zaretskii, 2015/10/10
- Re: IDE, David Engster, 2015/10/10
- Re: IDE, Eli Zaretskii, 2015/10/10
- Re: IDE, martin rudalics, 2015/10/10
- Re: IDE, John Wiegley, 2015/10/10
- Re: IDE, David Kastrup, 2015/10/10