[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fix some tooltip related problems
From: |
Alan Third |
Subject: |
Re: Fix some tooltip related problems |
Date: |
Wed, 10 Jan 2018 19:17:55 +0000 |
User-agent: |
Mutt/1.9.1 (2017-09-22) |
On Wed, Jan 10, 2018 at 07:55:41AM -0800, Drew Adams wrote:
> (x-show-tip (propertize "abc" 'face '(:foreground "gray")))
>
> What's different here from what you are talking about?
>
> OK, I'm using MS Windows. But does this not work also
> on GNU/Linux and Mac?
This doesn’t work on the NS port. Tooltips on that platform are
neither system tooltips nor fully‐fledged frames. I think it also
doesn’t work with certain X toolkits (GTK?) where they use system
tooltips.
> And if that doesn't work on such platforms, can't we use
> a ("normal") Emacs frame where such things do work? Just
> what is it that makes it impossible for Emacs to dim the
> text in a tooltip? Sorry, but this is not clear to me.
It’s beyond me why you’d want to dim a tooltip. Dimming of menu items
is standard behaviour on many platforms whereas dimming a tooltip is,
afaik, a completely novel behaviour and as a result would just be
confusing.
--
Alan Third
- Fix some tooltip related problems, martin rudalics, 2018/01/08
- RE: Fix some tooltip related problems, Drew Adams, 2018/01/08
- Re: Fix some tooltip related problems, martin rudalics, 2018/01/08
- RE: Fix some tooltip related problems, Drew Adams, 2018/01/08
- Re: Fix some tooltip related problems, martin rudalics, 2018/01/09
- RE: Fix some tooltip related problems, Drew Adams, 2018/01/09
- Re: Fix some tooltip related problems, martin rudalics, 2018/01/10
- RE: Fix some tooltip related problems, Drew Adams, 2018/01/10
- Re: Fix some tooltip related problems,
Alan Third <=
- RE: Fix some tooltip related problems, Drew Adams, 2018/01/10
- Re: Fix some tooltip related problems, Alan Third, 2018/01/10
- RE: Fix some tooltip related problems, Drew Adams, 2018/01/10
- Re: Fix some tooltip related problems, Eli Zaretskii, 2018/01/10
- Re: Fix some tooltip related problems, Yuri Khan, 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, 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