[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: IDE
From: |
Eli Zaretskii |
Subject: |
Re: IDE |
Date: |
Sun, 11 Oct 2015 18:25:50 +0300 |
> Date: Sun, 11 Oct 2015 13:38:35 +0200
> From: martin rudalics <address@hidden>
> CC: address@hidden, address@hidden
>
> Maybe we should just use simple frames with all decorations removed.
How is that different from tooltips? They are such frames, AFAIK.
- Re: IDE, (continued)
- 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
- Re: IDE, martin rudalics, 2015/10/15
- Re: IDE, Eli Zaretskii, 2015/10/15
- Re: IDE,
Eli Zaretskii <=
- Re: IDE, martin rudalics, 2015/10/15
- Re: IDE, Eli Zaretskii, 2015/10/11
- RE: IDE, Drew Adams, 2015/10/11
- Re: IDE, Dmitry Gutov, 2015/10/15
- Re: IDE, Dmitry Gutov, 2015/10/11
- Re: IDE, Oleh Krehel, 2015/10/12
- Re: IDE, Eli Zaretskii, 2015/10/12
- Re: IDE, Steinar Bang, 2015/10/12
- Re: IDE, Dmitry Gutov, 2015/10/15
- Re: IDE, Oleh Krehel, 2015/10/12