Merge pull request #1378 from zed-industries/diagnostics-popover

Diagnostics Popover
2022-07-22 11:12:56 -07:00
parent 9286e5ea04 b93040a6ae
commit 2111fdc118
13 changed files with 541 additions and 202 deletions
@@ -629,6 +629,9 @@ impl<'de> Deserialize<'de> for SyntaxTheme {
 #[derive(Clone, Deserialize, Default)]
 pub struct HoverPopover {
    pub container: ContainerStyle,
+    pub info_container: ContainerStyle,
+    pub warning_container: ContainerStyle,
+    pub error_container: ContainerStyle,
    pub block_style: ContainerStyle,
    pub prose: TextStyle,
    pub highlight: Color,