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