From f76a2502bb5648a5f7bfce564a584c50d9aecbaf Mon Sep 17 00:00:00 2001
From: Antonio Scandurra <me@as-cii.com>
Date: Mon, 22 Jan 2024 12:01:53 +0100
Subject: [PATCH] Show diagnostics on hover

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

diff --git a/crates/editor/src/hover_popover.rs b/crates/editor/src/hover_popover.rs
index 9268c6de4e..f311f20ae6 100644
--- a/crates/editor/src/hover_popover.rs
+++ b/crates/editor/src/hover_popover.rs
@@ -545,6 +545,7 @@ impl DiagnosticPopover {
 
         div()
             .id("diagnostic")
+            .elevation_2(cx)
             .overflow_y_scroll()
             .px_2()
             .py_1()