mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-29 12:38:02 +00:00
a1bd7a1297
Supersedes https://github.com/zed-industries/zed/pull/12090 fixes #5180 fixes #5055 See original PR for an example of the feature at work. This PR changes the settings interface to be backwards compatible, and adds the `ui_font_fallbacks`, `buffer_font_fallbacks`, and `terminal.font_fallbacks` settings. Release Notes: - Added support for font fallbacks via three new settings: `ui_font_fallbacks`, `buffer_font_fallbacks`, and `terminal.font_fallbacks`.(#5180, #5055). --------- Co-authored-by: Junkui Zhang <364772080@qq.com> |
||
---|---|---|
.. | ||
fonts | ||
icons | ||
keymaps | ||
prompts | ||
settings | ||
sounds | ||
themes |