From fc4b621b326b3939ba70766798927f62ec7bb47a Mon Sep 17 00:00:00 2001
From: Antonio Scandurra <me@as-cii.com>
Date: Mon, 27 Nov 2023 19:16:06 +0100
Subject: [PATCH] Use element_hover instead of red

---
 crates/editor2/src/hover_popover.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/editor2/src/hover_popover.rs b/crates/editor2/src/hover_popover.rs
index e7980758e0..37c7df650b 100644
--- a/crates/editor2/src/hover_popover.rs
+++ b/crates/editor2/src/hover_popover.rs
@@ -118,7 +118,7 @@ pub fn hover_at_inlay(editor: &mut Editor, inlay_hover: InlayHover, cx: &mut Vie
                     // Highlight the selected symbol using a background highlight
                     this.highlight_inlay_background::<HoverState>(
                         vec![inlay_hover.range],
-                        |theme| gpui::red(), // todo!("use a proper background here")
+                        |theme| theme.element_hover, // todo!("use a proper background here")
                         cx,
                     );
                     this.hover_state.info_popover = Some(hover_popover);