docs: Add missing ui_font_size option in configuring-zed.md (#18189)
Some checks are pending
CI / Check formatting and spelling (push) Waiting to run
CI / (macOS) Run Clippy and tests (push) Waiting to run
CI / (Linux) Run Clippy and tests (push) Waiting to run
CI / (Windows) Run Clippy and tests (push) Waiting to run
CI / Create a macOS bundle (push) Blocked by required conditions
CI / Create a Linux bundle (push) Blocked by required conditions
CI / Create arm64 Linux bundle (push) Blocked by required conditions
Deploy Docs / Deploy Docs (push) Waiting to run
Docs / Check formatting (push) Waiting to run

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

Release Notes:

- N/A
This commit is contained in:
Junseong Park 2024-09-22 18:15:13 +09:00 committed by GitHub
parent 37c93d8fea
commit 0f4ebdfbca
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -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