zed
zed copied to clipboard
Custom font size on project tree view
Check for existing issues
- [x] Completed
Describe the feature
project tree font size too small
- [ ] support custom font size
- [ ] support custom line height
If applicable, add mockups / screenshots to help present your vision of the feature
No response
I think this facility is very required and can be easy to add !! Please add it
I'd be curious to know if this can be modified via the new theming support that dropped this week in the preview build
The font size is indeed able to be updated now using, for example: "ui_font_size": 18
.
@zawilliams thanks for that tip! are there docs around this on the web yet?
@shellscape good question. Not on the docs site yet, but I found the info in a PR or an issue recently. You can see maybe a bit more in the default settings here: https://github.com/zed-industries/zed/blob/main/assets/settings/default.json#L46
dope thanks. fwiw the default settings have pretty good comments in them (Settings -> Open Default). was just playing in there based on a suggestion in the docs.
I also wish there was ui_line_height
setting to configure the line height of project tree. The default feels a bit too large, IMHO