From c1757bbcae16ebbb7efd923847ceaa8c3b3166ef Mon Sep 17 00:00:00 2001 From: Ren Amamiya Date: Wed, 4 Nov 2026 13:05:03 +0700 Subject: [PATCH] chore: fix web build --- crates/workspace/src/sidebar/header.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/crates/workspace/src/sidebar/header.rs b/crates/workspace/src/sidebar/header.rs index d90fd917..d9ade48c 100644 --- a/crates/workspace/src/sidebar/header.rs +++ b/crates/workspace/src/sidebar/header.rs @@ -2,11 +2,11 @@ use auto_update::AutoUpdater; use gpui::prelude::FluentBuilder; use gpui::{ - Anchor, App, Context, Div, InteractiveElement, ParentElement, SharedString, Stateful, Styled, - Window, div, px, + Anchor, App, Context, Div, InteractiveElement, IntoElement, ParentElement, SharedString, + Stateful, Styled, Window, div, px, }; #[cfg(not(target_arch = "wasm32"))] -use gpui::{AnyElement, Entity, IntoElement}; +use gpui::{AnyElement, Entity}; use gpui_kit::base::StyledExt as _; #[cfg(not(target_arch = "wasm32"))] use gpui_kit::component::Disableable;