[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What improvements would be truly useful?
From: |
Daniele Nicolodi |
Subject: |
Re: What improvements would be truly useful? |
Date: |
Wed, 7 Mar 2018 10:49:39 -0700 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 |
On 3/7/18 10:45 AM, Eli Zaretskii wrote:
>> Cc: address@hidden
>> From: Daniele Nicolodi <address@hidden>
>> Date: Tue, 6 Mar 2018 22:45:25 -0700
>>
>>>> Also, GTK support seems a bit of an hack that
>>>> requires layering violations (reaching down to the X primitives) to
>>>> work. Being GTK the only modern toolkit supported on Linux (as far as I
>>>> know) and the only way to get nartive Wayland support, some radical
>>>> cleanup in that area would probably be a good thing.
>>>
>>> It's true that GTK support was added in a not very clean way, but I
>>> don't think we can throw away support for the other toolkits just yet,
>>> because they are still being used.
>>
>> I don't think that cleaning up the GTK support requires removing support
>> for any other toolkit, and I'm far from suggesting something like that.
>
> Then how should we understand your suggestion for "radical cleanup",
> right after asserting that GTK is the only modern toolkit supported by
> GNU/Linux?
Radical cleanup of the GTK integration.
- Re: Variable-width font indentation, (continued)
- Re: What improvements would be truly useful?, Daniele Nicolodi, 2018/03/05
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/05
- Re: What improvements would be truly useful?, Daniele Nicolodi, 2018/03/06
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/06
- Re: What improvements would be truly useful?, Daniel Colascione, 2018/03/06
- Re: What improvements would be truly useful?, Daniele Nicolodi, 2018/03/07
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/07
- Re: What improvements would be truly useful?,
Daniele Nicolodi <=
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/07
- Re: What improvements would be truly useful?, Philipp Stephani, 2018/03/07
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/08
- Re: What improvements would be truly useful?, Alan Third, 2018/03/08
- Re: What improvements would be truly useful?, Daniel Colascione, 2018/03/08
- Re: What improvements would be truly useful?, Yuri Khan, 2018/03/06
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/06
- Re: What improvements would be truly useful?, Juri Linkov, 2018/03/05
- Re: What improvements would be truly useful?, Óscar Fuentes, 2018/03/05
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/05