Tweak cooldown time

emilk · May 30, 2024 · 9f5e5fb · 9f5e5fb
1 parent 7def5fc
commit 9f5e5fb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/egui/src/response.rs b/crates/egui/src/response.rs
@@ -615,7 +615,7 @@ impl Response {
         // another widget should show the tooltip for that widget right away.
 
         // Let the user quickly move over some dead space to hover the next thing
-        let recent_sec = 0.1;
+        let recent_sec = 0.2;
         let tooltip_was_recently_shown =
             when_was_a_toolip_last_shown.map_or(false, |time| ((now - time) as f32) < recent_sec);