Merge branch 'project-diagnostics-pinned-tab' into style-project-diagnostics

2022-01-25 12:20:37 -08:00
parent 78b57e4d9d 6865a42df9
commit c9b4bb78f2
13 changed files with 118 additions and 70 deletions
@@ -235,6 +235,9 @@ pub struct ProjectDiagnostics {
    pub container: ContainerStyle,
    pub empty_message: TextStyle,
    pub status_bar_item: ContainedText,
+    pub tab_icon_width: f32,
+    pub tab_icon_spacing: f32,
+    pub tab_summary_spacing: f32,
 }

 #[derive(Clone, Deserialize, Default)]