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 #983 from zed-industries/add-onMedia-border-token
Unverified
Add onMedia border token
5247246e91
Nate Butler committed on 5/11/2022, 4:48:11 PM
· committed by GitHub
parents
6b5cab5
50b44eb
Files Changed
9 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
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/themes
src/themes
…
base16.ts
base16.ts
…
dark.ts
dark.ts
…
light.ts
light.ts
…
theme.ts
theme.ts
…