From 82f06791f9dfba57eaa690a29df42ea1d2cab8d7 Mon Sep 17 00:00:00 2001 From: krassowski <5832902+krassowski@users.noreply.github.com> Date: Sun, 5 Feb 2023 22:28:48 +0000 Subject: [PATCH] Add `IPython` to ignore list --- schema/plugin.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/schema/plugin.json b/schema/plugin.json index 13f80c1..3aecd61 100644 --- a/schema/plugin.json +++ b/schema/plugin.json @@ -69,7 +69,7 @@ "title": "Words to be ignored by the spellchecker", "description": "Case-sensitive list of words to be ignored", "$ref": "#/definitions/ignore", - "default": ["JupyterLab", "Jupyter", "JupyterHub", "VoilĂ ", "Xeus"] + "default": ["JupyterLab", "Jupyter", "JupyterHub", "VoilĂ ", "Xeus", "IPython"] }, "mimeTypes": { "title": "MIME types for files/editors for which the spellchecking should be activated",