From fc1d26382a4c5b16fcef30b5bcc6d24a2b382206 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Collonval?= Date: Mon, 16 Oct 2023 16:33:07 +0200 Subject: [PATCH] Fix typo in setting title --- packages/jupyterlab-lsp/schema/diagnostics.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/jupyterlab-lsp/schema/diagnostics.json b/packages/jupyterlab-lsp/schema/diagnostics.json index 8859350d1..95e933a84 100644 --- a/packages/jupyterlab-lsp/schema/diagnostics.json +++ b/packages/jupyterlab-lsp/schema/diagnostics.json @@ -13,7 +13,7 @@ "description": "Default level of the severity for diagnostics without severity provided by the language server." }, "gutter": { - "title": "Show guttter (experimental, requires restart)", + "title": "Show gutter (experimental, requires restart)", "type": "boolean", "default": false },