docs: Terminal line_height (#16687)

Closes https://github.com/zed-industries/zed/issues/16686

Release Notes:

- N/A
This commit is contained in:
Peter Tripp 2024-08-22 13:48:33 -04:00 committed by GitHub
parent c697eaba82
commit 4e2b08b909
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 42 additions and 0 deletions

View file

@ -21,3 +21,4 @@ enable = false
"/ruby.html" = "/docs/languages/ruby.html"
"/python.html" = "/docs/languages/python.html"
"/adding-new-languages.html" = "/docs/extensions/languages.html"
"/language-model-integration.html" = "/docs/assistant/assistant.html"

View file

@ -1264,6 +1264,7 @@ List of `integer` column numbers
"font_family": null,
"font_features": null,
"font_size": null,
"line_height": "comfortable",
"option_as_meta": true,
"button": false,
"shell": {},
@ -1447,6 +1448,46 @@ See Buffer Font Features
}
```
### Terminal: Line Height
- Description: Set the terminal's line height.
- Setting: `line_height`
- Default: `comfortable`
**Options**
1. Use a line height that's `comfortable` for reading, 1.618. (default)
```jsonc
{
"terminal": {
"line_height": "comfortable",
},
}
```
2. Use a `standard` line height, 1.3. This option is useful for TUIs, particularly if they use box characters
```jsonc
{
"terminal": {
"line_height": "standard",
},
}
```
3. Use a custom line height.
```jsonc
{
"terminal": {
"line_height": {
"custom": 2,
},
},
}
```
### Terminal: Option As Meta
- Description: Re-interprets the option keys to act like a 'meta' key, like in Emacs.