Show a message when no diagnostics are available

2022-01-05 17:25:03 +01:00
parent 0bcd0a3f08
commit fe28abe8cf
3 changed files with 34 additions and 44 deletions
@@ -24,6 +24,7 @@ pub struct Theme {
    pub project_panel: ProjectPanel,
    pub selector: Selector,
    pub editor: EditorStyle,
+    pub project_diagnostics: ProjectDiagnostics,
 }

 #[derive(Deserialize, Default)]
@@ -226,6 +227,13 @@ pub struct ContainedLabel {
    pub label: LabelStyle,
 }

+#[derive(Clone, Deserialize, Default)]
+pub struct ProjectDiagnostics {
+    #[serde(flatten)]
+    pub container: ContainerStyle,
+    pub empty_message: TextStyle,
+}
+
 #[derive(Clone, Deserialize, Default)]
 pub struct EditorStyle {
    pub text: TextStyle,