mirror of
https://github.com/zed-industries/zed.git
synced 2026-05-25 23:04:27 +00:00
Follow up to https://github.com/zed-industries/zed/pull/39468. Unlike `agent_ui_font_size`, the `agent_buffer_font_size` setting does have a default value, which means it does not fall back to the regular UI font size, but rather to its default value. Release Notes: - N/A |
||
|---|---|---|
| .. | ||
| badge | ||
| fonts | ||
| icons | ||
| images | ||
| keymaps | ||
| prompts | ||
| settings | ||
| sounds | ||
| themes | ||