From 6c50fd6de973218d70af5ccf6b3e41a1846fbe97 Mon Sep 17 00:00:00 2001 From: Conrad Irwin Date: Tue, 30 Sep 2025 09:15:40 -0600 Subject: [PATCH] Remove "integer" from font size docs (#39215) Fixes #38765 Release Notes: - N/A --- docs/src/configuring-zed.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/configuring-zed.md b/docs/src/configuring-zed.md index 39bb276f901e202342650d398877b9e7516c865a..f0f541384f9a1e15115f2e77034ab8d82cdcca1b 100644 --- a/docs/src/configuring-zed.md +++ b/docs/src/configuring-zed.md @@ -410,7 +410,7 @@ For example, to use `Nerd Font` as a fallback, add the following to your setting **Options** -`integer` values from `6` to `100` pixels (inclusive) +A font size from `6` to `100` pixels (inclusive) ## Buffer Font Weight