[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fix some tooltip related problems
From: |
Robert Pluim |
Subject: |
Re: Fix some tooltip related problems |
Date: |
Fri, 12 Jan 2018 09:40:20 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.0.90 (gnu/linux) |
Eli Zaretskii <address@hidden> writes:
>> From: Robert Pluim <address@hidden>
>> Date: Thu, 11 Jan 2018 18:19:00 +0100
>>
>> How much of an outcry would there be if I proposed removing Lucid and
>> Motif support completely for Emacs 27, as a first step to getting rid
>> of the unholy mix of X and GTK we're currently doing?
>
> A lot. I'm firmly against removing toolkits to appease GTK. I think
> GTK is an unholy mess, which can some day simply stop being supported,
> and we definitely shouldn't lose useful features in its favor.
OK. But if we stop supporting GTK at some point, what ends up being
its replacement? I doubt we'll be able to support Lucid and Motif
forever, given that X is going to be replaced with Wayland.
Robert
- Re: Fix some tooltip related problems, (continued)
- Re: Fix some tooltip related problems, martin rudalics, 2018/01/11
- RE: Fix some tooltip related problems, Drew Adams, 2018/01/11
- Re: Fix some tooltip related problems, martin rudalics, 2018/01/11
- Re: Fix some tooltip related problems, Robert Pluim, 2018/01/11
- Re: Fix some tooltip related problems, Eli Zaretskii, 2018/01/11
- Re: Fix some tooltip related problems, martin rudalics, 2018/01/11
- Re: Fix some tooltip related problems, Daniele Nicolodi, 2018/01/11
- Re: Fix some tooltip related problems, Eli Zaretskii, 2018/01/12
- Re: Fix some tooltip related problems,
Robert Pluim <=
- Re: Fix some tooltip related problems, Eli Zaretskii, 2018/01/12
- Re: Fix some tooltip related problems, Robert Pluim, 2018/01/12
- Re: Fix some tooltip related problems, Philipp Stephani, 2018/01/12
- Re: Fix some tooltip related problems, Richard Stallman, 2018/01/11
- Re: Fix some tooltip related problems, Stefan Monnier, 2018/01/11
- Re: Fix some tooltip related problems, Robert Pluim, 2018/01/12
- RE: Fix some tooltip related problems, Drew Adams, 2018/01/11
- Re: Fix some tooltip related problems, martin rudalics, 2018/01/11
- RE: Fix some tooltip related problems, Drew Adams, 2018/01/11
- Re: Fix some tooltip related problems, martin rudalics, 2018/01/12