diff options
| author | Ivan Tham | 2022-07-18 01:13:47 +0000 |
|---|---|---|
| committer | GitHub | 2022-07-18 01:13:47 +0000 |
| commit | e8214fb1e6009d44a4b7094c6e5297a19f18f549 (patch) | |
| tree | 1dc2dc1b15f3ed675dd7fed78632b2a0a08bccee /book | |
| parent | 2a8d38c27bce34c9b6fa95a2fb063fe097e220d4 (diff) | |
Make gutters padding optional (#2996)
If all gutters are removed, there are still an extra one padding, would be nice
to remove that to save some space.
Diffstat (limited to 'book')
| -rw-r--r-- | book/src/configuration.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/book/src/configuration.md b/book/src/configuration.md index 4c849f26..b8b939e7 100644 --- a/book/src/configuration.md +++ b/book/src/configuration.md @@ -38,7 +38,7 @@ hidden = false | `shell` | Shell to use when running external commands. | Unix: `["sh", "-c"]`<br/>Windows: `["cmd", "/C"]` | | `line-number` | Line number display: `absolute` simply shows each line's number, while `relative` shows the distance from the current line. When unfocused or in insert mode, `relative` will still show absolute line numbers. | `absolute` | | `cursorline` | Highlight all lines with a cursor. | `false` | -| `gutters` | Gutters to display: Available are `diagnostics` and `line-numbers`, note that `diagnostics` also includes other features like breakpoints | `["diagnostics", "line-numbers"]` | +| `gutters` | Gutters to display: Available are `diagnostics` and `line-numbers` and `padding`, note that `diagnostics` also includes other features like breakpoints | `["diagnostics", "line-numbers", "padding"]` | | `auto-completion` | Enable automatic pop up of auto-completion. | `true` | | `auto-format` | Enable automatic formatting on save. | `true` | | `idle-timeout` | Time in milliseconds since last keypress before idle timers trigger. Used for autocompletion, set to 0 for instant. | `400` | |