mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-27 12:54:42 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

Update titlebar style

Browse source
This commit is contained in:
Nate Butler 2023-09-07 12:58:42 -04:00
parent 23a8d8fba4
commit 17c5bbfd96
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
crates/storybook/src/workspace.rs
View file

@ -1,7 +1,6 @@
use crate::{collab_panel::collab_panel, theme::theme}; use crate::{collab_panel::collab_panel, theme::theme};
use gpui2::{ use gpui2::{
elements::{div, svg}, elements::{div, svg},
geometry::pixels,
style::{StyleHelpers, Styleable}, style::{StyleHelpers, Styleable},
Element, IntoElement, ParentElement, ViewContext, Element, IntoElement, ParentElement, ViewContext,
}; };
@ -45,21 +44,21 @@ impl TitleBar {
div() div()
.w_3() .w_3()
.h_3() .h_3()
// .rounded_full() .rounded_full()
.fill(theme.lowest.positive.default.foreground), .fill(theme.lowest.positive.default.foreground),
) )
.child( .child(
div() div()
.w_3() .w_3()
.h_3() .h_3()
// .rounded_full() .rounded_full()
.fill(theme.lowest.warning.default.foreground), .fill(theme.lowest.warning.default.foreground),
) )
.child( .child(
div() div()
.w_3() .w_3()
.h_3() .h_3()
// .rounded_full() .rounded_full()
.fill(theme.lowest.negative.default.foreground), .fill(theme.lowest.negative.default.foreground),
), ),
) )