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 #958 from zed-industries/titlebar-padding
Unverified
Add right padding to titlebar instead of margins on elements
a7c953cb30
Antonio Scandurra committed on 5/2/2022, 7:32:15 AM
· committed by GitHub
parents
5b68534
4518db0
Files Changed
16 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/workspace/src
crates/workspace/src
…
workspace.rs
workspace.rs
…
styles
styles
…
dist
dist
…
dark.json
dark.json
…
light.json
light.json
…
solarized-dark.json
solarized-dark.json
…
solarized-light.json
solarized-light.json
…
tokens.json
tokens.json
…
src/styleTree
src/styleTree
…
workspace.ts
workspace.ts
…