mirror of
https://github.com/zed-industries/zed.git
synced 2024-09-19 18:41:56 +03: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> |
||
|---|---|---|
| .. | ||
| chat_panel | ||
| collab_panel | ||
| notifications | ||
| channel_view.rs | ||
| chat_panel.rs | ||
| collab_panel.rs | ||
| collab_ui.rs | ||
| notification_panel.rs | ||
| notifications.rs | ||
| panel_settings.rs | ||