Merge remote-tracking branch 'origin/main' into code-actions-2

2023-11-10 11:01:23 +01:00
parent 1a0ddc424b 2f3044a2da
commit a0987f1121
79 changed files with 10333 additions and 2658 deletions
@@ -1,4 +1,4 @@
-use gpui::{div, px, Div, ParentElement, Render, SharedString, Styled, ViewContext};
+use gpui::{div, Div, ParentElement, Render, SharedString, Styled, ViewContext};
 use theme2::ActiveTheme;

 #[derive(Clone, Debug)]
@@ -19,7 +19,7 @@ impl Render for TextTooltip {
        let theme = cx.theme();
        div()
            .bg(theme.colors().background)
-            .rounded(px(8.))
+            .rounded_lg()
            .border()
            .font("Zed Sans")
            .border_color(theme.colors().border)