Merge pull request #1946 from zed-industries/fix-zombie-tooltips

notify views when hover finishes in tooltip wrapper
2022-12-08 11:37:12 -08:00
parent 750e7eb833 10aecc310e
commit 2eb335158b
1 changed files with 1 additions and 0 deletions
--- 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();
                    }
                }
            })