Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge branch 'gpui2' into zed2

Browse source
This commit is contained in:
Marshall Bowers 2023-10-24 14:11:13 +02:00
commit bb35583998
19 changed files with 115 additions and 60 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/ui2/src/components/workspace.rs
View file

@ -208,7 +208,7 @@ impl Workspace {
.size_full()
.flex()
.flex_col()
.font("Zed Sans Extended")
.font("Zed Sans")
.gap_0()
.justify_start()
.items_start()