oak-team/oak-gpui
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update doc comments for agent_buffer_font_size (#39743)

Browse Source 
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
This commit is contained in:
Danilo Leal
2025-10-08 06:14:18 +00:00
committed by GitHub
parent 294ca25f44
commit 1265b229a9
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/settings/src/settings_content/theme.rs
+1 -1
View File
@@ -57,7 +57,7 @@ pub struct ThemeSettingsContent {
/// The font size for agent responses in the agent panel. Falls back to the UI font size if unset.
#[serde(default)]
pub agent_ui_font_size: Option<f32>,
/// The font size for user messages in the agent panel. Falls back to the buffer font size if unset.
/// The font size for user messages in the agent panel.
#[serde(default)]
pub agent_buffer_font_size: Option<f32>,
/// The name of the Zed theme to use.