[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fix some tooltip related problems
From: |
Richard Stallman |
Subject: |
Re: Fix some tooltip related problems |
Date: |
Thu, 11 Jan 2018 14:54:39 -0500 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> 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?
Please ask this on help-gnu-emacs.
You don't get a good sample of users on this list.
--
Dr Richard Stallman
President, Free Software Foundation (https://gnu.org, https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
Skype: No way! See https://stallman.org/skype.html.
- Re: Fix some tooltip related problems, (continued)
- 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, 2018/01/12
- 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 <=
- 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
- RE: Fix some tooltip related problems, Drew Adams, 2018/01/12
Re: Fix some tooltip related problems, Eli Zaretskii, 2018/01/08