I’m writing an application where items in a list are represented by icons, and tooltips are used to inform the user about the names of the items. The only problem is the tooltips don’t show immediately when you hover over the items, you have to wait a bit of the tooltip to appear. Sometimes if you moved your mouse quickly, the tooltips don’t appear at all. This is undesirable as the user needs to be able to quickly see the names of the items.
The “gtk-tooltip-timeout” property has been deprecated since 3.10, so how do I make tooltips show faster?