Use element_hover instead of red

This commit is contained in:
Antonio Scandurra 2023-11-27 19:16:06 +01:00
parent 8c53f1b9c2
commit fc4b621b32

View file

@ -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 // Highlight the selected symbol using a background highlight
this.highlight_inlay_background::<HoverState>( this.highlight_inlay_background::<HoverState>(
vec![inlay_hover.range], vec![inlay_hover.range],
|theme| gpui::red(), // todo!("use a proper background here") |theme| theme.element_hover, // todo!("use a proper background here")
cx, cx,
); );
this.hover_state.info_popover = Some(hover_popover); this.hover_state.info_popover = Some(hover_popover);