Searched refs:hover_time (Results 1 – 4 of 4) sorted by relevance
401 if self.hover_time and self.hover_time + 0.5 < time.time():427 self.hover_time = None495 self.hover_time = None930 self.hover_time = None933 if not self.hover_time:934 self.hover_time = time.time()
158 <option name="hover_time" type="int">
589 var hover_time = int64.max (0LL, frame_time - item.LastHovered);590 if (hover_time < max_hover_time) {593 hover_animation_progress = easing_for_mode (AnimationMode.LINEAR, hover_time, max_hover_time);595 …hover_animation_progress = 1.0 - easing_for_mode (AnimationMode.LINEAR, hover_time, max_hover_time…
2959 static std::chrono::steady_clock::time_point hover_time = {}; in HandleMouseEvents() local2967 hover_time = std::chrono::steady_clock::now(); in HandleMouseEvents()2970 …if (std::chrono::steady_clock::now() > hover_time + std::chrono::milliseconds(_settings_client.gui… in HandleMouseEvents()