Sign up
gitcafe
/
zed
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
More
View stargazers
0
Sign up
Code
Merge pull request #965 from zed-industries/avatar-margin
Unverified
Parameterize `avatar_margin` and assign it a default of 8
c7007b64de
Antonio Scandurra committed on 5/3/2022, 4:12:06 PM
· committed by GitHub
parents
c268099
3ee4d90
Files Changed
11 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
assets/themes
assets/themes
…
cave-dark.json
cave-dark.json
…
cave-light.json
cave-light.json
…
dark.json
dark.json
…
light.json
light.json
…
solarized-dark.json
solarized-dark.json
…
solarized-light.json
solarized-light.json
…
sulphurpool-dark.json
sulphurpool-dark.json
…
sulphurpool-light.json
sulphurpool-light.json
…
crates
crates
…
theme/src
theme/src
…
theme.rs
theme.rs
…
workspace/src
workspace/src
…
workspace.rs
workspace.rs
…
styles/src/styleTree
styles/src/styleTree
…
workspace.ts
workspace.ts
…