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
39.57k stars 2.07k forks source link

Separate UI font from Error/Warning tooltip font #11527

Open Raees678 opened 2 months ago

Raees678 commented 2 months ago

Check for existing issues

Describe the feature

Currently setting the UI font to the system default, also sets the error/warning tooltip font. This can sometimes cause misalignmnents when the errors/warnings are expecting to be printed in monospace as below:

Screenshot 2024-05-07 at 6 55 03 PM

Currently the hacky solution is to set the UI font to a monospaced font. However, it would be useful if there was a way to separate the font in the error/warning tooltips from the regular UI font. That way the rest of the UI could still use the system default whereas the error/warning tooltips could use a monospaced font.

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

This could possibly be in the form of a new setting in the zed/settings.json file, such as "error_tooltip_font".

Moshyfawn commented 2 months ago

Related #10733

agu-z commented 2 months ago

Having a separate setting seems convenient. For the best default experience, I think if unspecified, it should use the value of buffer_font_family instead of ui_font_family.