Custom font size on project tree view

zed-industries / zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

https://zed.dev

Other

39.57k stars 2.07k forks source link

Custom font size on project tree view #4706

Open guobin211 opened 1 year ago

guobin211 commented 1 year ago

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

shahryarjb commented 1 year ago

I think this facility is very required and can be easy to add !! Please add it

shellscape commented 5 months ago

I'd be curious to know if this can be modified via the new theming support that dropped this week in the preview build

zawilliams commented 5 months ago

The font size is indeed able to be updated now using, for example: "ui_font_size": 18.

shellscape commented 5 months ago

@zawilliams thanks for that tip! are there docs around this on the web yet?

zawilliams commented 5 months ago

@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

shellscape commented 5 months ago

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.

narqo commented 3 weeks ago

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