From 830e1079210025aa3ae74b24205722a53f21eb3f Mon Sep 17 00:00:00 2001
From: Antonio Scandurra <me@as-cii.com>
Date: Mon, 11 Mar 2024 15:29:44 +0100
Subject: [PATCH] Hide hover popover when mouse hovers over negative space
 (#9173)

Fixes https://github.com/zed-industries/zed/issues/8340

Release Notes:

- Fixed a bug that would cause hover information to not be dismissed
when hovering over negative space.
---
 crates/editor/src/element.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/crates/editor/src/element.rs b/crates/editor/src/element.rs
index 33e81faabd..b3fbdf2525 100644
--- a/crates/editor/src/element.rs
+++ b/crates/editor/src/element.rs
@@ -543,6 +543,8 @@ impl EditorElement {
             if let Some(point) = point_for_position.as_valid() {
                 hover_at(editor, Some(point), cx);
                 Self::update_visible_cursor(editor, point, position_map, cx);
+            } else {
+                hover_at(editor, None, cx);
             }
         } else {
             editor.hide_hovered_link(cx);