editor: Fix gutter hitbox hover check (#51405)
The gutter hitbox would previously check the hover using the position, ignoring any occluding hitboxes rendered above it. This would then trigger the crease toggles to show which should not happen in that case, since the gutter was not really hovered. Release Notes: - Fixed an issue where the crease toggles in the gutter would sometimes show when interacting with a popover present over the editor gutter.
This commit is contained in:
1 parent
5d2f7bf0e1
commit
13dfde41d5
1 file changed
+1
-1
@@ -1243,7 +1243,7 @@ impl EditorElement {
|
||||
let gutter_hitbox = &position_map.gutter_hitbox;
|
||||
let modifiers = event.modifiers;
|
||||
let text_hovered = text_hitbox.is_hovered(window);
|
||||
let gutter_hovered = gutter_hitbox.bounds.contains(&event.position);
|
||||
let gutter_hovered = gutter_hitbox.is_hovered(window);
|
||||
editor.set_gutter_hovered(gutter_hovered, cx);
|
||||
editor.show_mouse_cursor(cx);
|
||||
|
||||
|
||||
Reference in new issue
Block a user