Searched refs:tip_time (Results 1 – 1 of 1) sorted by relevance
64 static time_t tip_time = 0; /* Time tip widget last closed */ variable856 time(&tip_time); in tooltip_destroyed()921 time(&tip_time); in tooltip_show()935 delay = now - tip_time > 2 ? 1000 : 200; in tooltip_prime()