Merge branch 'main' into theme-improvements

2022-07-19 20:12:02 -04:00
parent df0023ad65 c2868a39e8
commit bcc554a3db
76 changed files with 4053 additions and 1557 deletions
@@ -501,7 +501,12 @@ impl ProjectDiagnosticsEditor {
 }

 impl workspace::Item for ProjectDiagnosticsEditor {
-    fn tab_content(&self, style: &theme::Tab, cx: &AppContext) -> ElementBox {
+    fn tab_content(
+        &self,
+        _detail: Option<usize>,
+        style: &theme::Tab,
+        cx: &AppContext,
+    ) -> ElementBox {
        render_summary(
            &self.summary,
            &style.label.text,