From 0f4ebdfbca721614f3cadafc3b44e4fbf099afda Mon Sep 17 00:00:00 2001
From: Junseong Park <junseongpark.dev@gmail.com>
Date: Sun, 22 Sep 2024 18:15:13 +0900
Subject: [PATCH] docs: Add missing `ui_font_size` option in
 `configuring-zed.md` (#18189)

Added `ui_font_size`, an option that works in the editor but is missing
from the documentation.

Release Notes:

- N/A
---
 docs/src/configuring-zed.md | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/docs/src/configuring-zed.md b/docs/src/configuring-zed.md
index 5d9a2843ed..c0aa4c513a 100644
--- a/docs/src/configuring-zed.md
+++ b/docs/src/configuring-zed.md
@@ -215,7 +215,7 @@ For example, to use `Nerd Font` as a fallback, add the following to your setting
 
 **Options**
 
-`integer` values
+`integer` values from `6` to `100` pixels (inclusive)
 
 ## Buffer Font Weight
 
@@ -2184,6 +2184,16 @@ Float values between `0.0` and `0.9`, where:
 }
 ```
 
+## UI Font Size
+
+- Description: The default font size for text in the UI.
+- Setting: `ui_font_size`
+- Default: `16`
+
+**Options**
+
+`integer` values from `6` to `100` pixels (inclusive)
+
 ## An example configuration:
 
 ```json