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 #149 from zed-industries/editor-style
Unverified
Specify UI editor fonts via the theme instead of the settings
ae9251a783
Nathan Sobo committed on 9/17/2021, 11:12:19 PM
· committed by GitHub
parents
260114a
42bf88b
Files Changed
14 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
gpui/src
gpui/src
…
app.rs
app.rs
…
font_cache.rs
font_cache.rs
…
fonts.rs
fonts.rs
…
server/src
server/src
…
rpc.rs
rpc.rs
…
zed
zed
…
assets/themes
assets/themes
…
_base.toml
_base.toml
…
src
src
…
editor
editor
…
display_map
display_map
…
wrap_map.rs
wrap_map.rs
…
display_map.rs
display_map.rs
…
element.rs
element.rs
…
movement.rs
movement.rs
…
chat_panel.rs
chat_panel.rs
…
editor.rs
editor.rs
…
file_finder.rs
file_finder.rs
…
theme.rs
theme.rs
…