[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#23341: x-show-tip does not respect the value of tooltip-hide-delay,
From: |
Clément Pit--Claudel |
Subject: |
bug#23341: x-show-tip does not respect the value of tooltip-hide-delay, and the default tooltip timeout isn't configurable |
Date: |
Sun, 24 Apr 2016 12:30:05 -0400 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 |
On 2016-04-24 11:57, Eli Zaretskii wrote:
>> From: Clément Pit--Claudel <clement.pitclaudel@live.com>
>> Date: Sun, 24 Apr 2016 10:40:58 -0400
>>
>> On 2016-04-24 04:40, martin rudalics wrote:
>>> If you can think of a better solution with less surprising results
>>> for the user please tell me.
>>
>> Isn't using the value of tooltip-hide-delay (or of a new similar variable)
>> as the default in x-show-tip such a solution?
>> In other words, what downside does it have? Sorry if I missed one. All that
>> I've seen for now is mentions that this was an internal detail.
>
> The downside is that tooltip-hide-delay has no relation whatsoever to
> x-show-tip. It is a user option supported by functions in tooltip.el,
> as its name says.
Hence "(or of a new similar variable)" :)
signature.asc
Description: OpenPGP digital signature
- bug#23341: x-show-tip does not respect the value of tooltip-hide-delay, and the default tooltip timeout isn't configurable, (continued)
bug#23341: x-show-tip does not respect the value of tooltip-hide-delay, and the default tooltip timeout isn't configurable, martin rudalics, 2016/04/23
- bug#23341: x-show-tip does not respect the value of tooltip-hide-delay, and the default tooltip timeout isn't configurable, Clément Pit--Claudel, 2016/04/23
- bug#23341: x-show-tip does not respect the value of tooltip-hide-delay, and the default tooltip timeout isn't configurable, martin rudalics, 2016/04/23
- bug#23341: x-show-tip does not respect the value of tooltip-hide-delay, and the default tooltip timeout isn't configurable, Clément Pit--Claudel, 2016/04/23
- bug#23341: x-show-tip does not respect the value of tooltip-hide-delay, and the default tooltip timeout isn't configurable, martin rudalics, 2016/04/24
- bug#23341: x-show-tip does not respect the value of tooltip-hide-delay, and the default tooltip timeout isn't configurable, Clément Pit--Claudel, 2016/04/24
- bug#23341: x-show-tip does not respect the value of tooltip-hide-delay, and the default tooltip timeout isn't configurable, Eli Zaretskii, 2016/04/24
- bug#23341: x-show-tip does not respect the value of tooltip-hide-delay, and the default tooltip timeout isn't configurable,
Clément Pit--Claudel <=
- bug#23341: x-show-tip does not respect the value of tooltip-hide-delay, and the default tooltip timeout isn't configurable, martin rudalics, 2016/04/26
- bug#23341: x-show-tip does not respect the value of tooltip-hide-delay, and the default tooltip timeout isn't configurable, Dmitry Gutov, 2016/04/26