mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-16 07:11:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 12

Hide hover popover when mouse hovers over negative space (#9173)

Browse source 
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.
This commit is contained in:
Antonio Scandurra 2024-03-11 15:29:44 +01:00 committed by GitHub
parent 45c4d35da8
commit 830e107921
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
crates/editor/src/element.rs
View file

@ -543,6 +543,8 @@ impl EditorElement {
if let Some(point) = point_for_position.as_valid() { if let Some(point) = point_for_position.as_valid() {
hover_at(editor, Some(point), cx); hover_at(editor, Some(point), cx);
Self::update_visible_cursor(editor, point, position_map, cx); Self::update_visible_cursor(editor, point, position_map, cx);
} else {
hover_at(editor, None, cx);
} }
} else { } else {
editor.hide_hovered_link(cx); editor.hide_hovered_link(cx);