mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-06 18:46:49 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

Style hover popover

Browse source
This commit is contained in:
Nate Butler 2023-11-29 14:56:23 -05:00
parent 509504d4d2
commit 3c05d57e6a
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
crates/editor2/src/hover_popover.rs
View file

@ -15,7 +15,7 @@ use lsp::DiagnosticSeverity;
use project::{HoverBlock, HoverBlockKind, InlayHintLabelPart, Project}; use project::{HoverBlock, HoverBlockKind, InlayHintLabelPart, Project};
use settings::Settings; use settings::Settings;
use std::{ops::Range, sync::Arc, time::Duration}; use std::{ops::Range, sync::Arc, time::Duration};
use ui::Tooltip; use ui::{StyledExt, Tooltip};
use util::TryFutureExt; use util::TryFutureExt;
use workspace::Workspace; use workspace::Workspace;
@ -476,8 +476,10 @@ impl InfoPopover {
) -> AnyElement { ) -> AnyElement {
div() div()
.id("info_popover") .id("info_popover")
.elevation_2(cx)
.text_ui()
.p_2()
.overflow_y_scroll() .overflow_y_scroll()
.bg(gpui::red())
.max_w(max_size.width) .max_w(max_size.width)
.max_h(max_size.height) .max_h(max_size.height)
// Prevent a mouse move on the popover from being propagated to the editor, // Prevent a mouse move on the popover from being propagated to the editor,