From 3d4125bd3f29d119f375613428a73a3cd52cda34 Mon Sep 17 00:00:00 2001 From: Rolo Date: Mon, 7 Apr 2025 15:42:59 -0700 Subject: [PATCH] docs(editor): add entries for `diagnostics` and `workspace-diagnostics` --- book/src/editor.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/book/src/editor.md b/book/src/editor.md index 1e5c2a507..b79792058 100644 --- a/book/src/editor.md +++ b/book/src/editor.md @@ -104,6 +104,8 @@ separator = "│" mode.normal = "NORMAL" mode.insert = "INSERT" mode.select = "SELECT" +diagnostics = ["warning", "error"] +workspace-diagnostics = ["warning", "error"] ``` The `[editor.statusline]` key takes the following sub-keys: @@ -116,6 +118,8 @@ The `[editor.statusline]` key takes the following sub-keys: | `mode.normal` | The text shown in the `mode` element for normal mode | `"NOR"` | | `mode.insert` | The text shown in the `mode` element for insert mode | `"INS"` | | `mode.select` | The text shown in the `mode` element for select mode | `"SEL"` | +| `diagnostics` | A list of severities which are displayed for the current buffer | `["warning", "error"]` | +| `workspace-diagnostics` | A list of severities which are displayed for the workspace | `["warning", "error"]` | The following statusline elements can be configured: