From 10aecc310ef20f197e418e0669adc1209b991b91 Mon Sep 17 00:00:00 2001
From: Kay Simmons <kay@zed.dev>
Date: Thu, 8 Dec 2022 11:26:46 -0800
Subject: [PATCH] notify views when hover finishes in tooltip wrapper

---
 crates/gpui/src/elements/tooltip.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/gpui/src/elements/tooltip.rs b/crates/gpui/src/elements/tooltip.rs
index f81b4af701..dbcecf9c24 100644
--- a/crates/gpui/src/elements/tooltip.rs
+++ b/crates/gpui/src/elements/tooltip.rs
@@ -115,6 +115,7 @@ impl Tooltip {
                     } else {
                         state.visible.set(false);
                         state.debounce.take();
+                        cx.notify();
                     }
                 }
             })