[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: |
Sat, 23 Apr 2016 13:26:23 -0400 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 |
On 2016-04-23 13:08, martin rudalics wrote:
>> I opened this issue based on the experience that it took me some
>> non-trivial amount of time to figure out that I had to configure
>> flycheck-pos-tip-delay, and not tooltip-delay.
>
> I don't know flycheck but ‘tooltip-delay’ is the delay _before_ showing
> the tip. Earlier we were talking about ‘tooltip-hide-delay’.
Indeed, sorry; I meant flycheck-pos-tip-hide-delay.
> Any package that optionally provides its own delay for hiding tips
> should, by default, use the value of ‘tooltip-hide-delay’ for that
> option.
Isn't that one more burden that we impose on package developers for essentially
no good reason? Also. what do you mean by "use the value by default"? Do you
mean to initialize a defcustom? That won't work: changing the value of
tooltip-hied-delay would not update that of the corresponding defcustom. Or do
you mean that all packages using tooltips should explicitly pass a hide-delay
argument to pos-tip or tooltip or x-show-tip, with that argument being (or
package-local-delay tooltip-hide-delay)? That sounds cumbersome and error
prone: if that's how we want things done, why is the delay argument optional?
In any case, do we gain anything from hardcoding 5 as the default?
Thanks for your opinion and responses! (and thanks Eli, too :)
Clément.
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, Eli Zaretskii, 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, Eli Zaretskii, 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, 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, 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, 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 <=
- 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, 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, 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