search

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
47.16k stars 2.72k forks source link

No action to change terminal font size independently of the editor #17459

Open mil-ad opened 1 week ago

mil-ad commented 1 week ago

Check for existing issues

Describe the feature

It'd be great if there was a separate command and keybinding to change the font size of the terminal separately from the font size of the editors.

If applicable, add mockups / screenshots to help present your vision of the feature

No response

SomeoneToIgnore commented 1 week ago

https://github.com/zed-industries/zed/blob/eecff753fbd5ab7eecc886122cd509cb45a97326/assets/settings/default.json#L702-L704

Does this part of the settings work for you?

mil-ad commented 1 week ago

Does this part of the settings work for you?

ah great! That does work. But I guess there's no action defined similar to zed::IncreaseBufferFontSize to bind it to a keymap

SomeoneToIgnore commented 1 week ago

Ah, so that's what's needed. Nope, no such action.