[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Fix some tooltip related problems
From: |
Drew Adams |
Subject: |
RE: Fix some tooltip related problems |
Date: |
Thu, 11 Jan 2018 06:32:49 -0800 (PST) |
> Also, this discussion assumes that we need to hide, or modify the
> appearance of, the tooltip *because* the actions it describes are
> unavailable. How could we change the behavior so that they would be
> available even if the window is the only one in its frame?
Yes, I considered that. Clearly, for the more specific
question about _this_ tooltip, providing different
actions in the sole-window case might be a reasonable
approach.
But that doesn't address the more general question of
describing generally-but-not-currently-available actions.
Regardless of whether alternative actions can be found
in this or that case, the question of dimmed-tooltip
usefulness remains.
- Re: Fix some tooltip related problems, (continued)
- 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, 2018/01/10
- 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 <=
- 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, 2018/01/12
- Re: Fix some tooltip related problems, Eli Zaretskii, 2018/01/12