From 9af5c36e169aba662baaeb3342ea5bec5e3e3885 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=8E=E9=80=9A=E6=B4=B2?= Date: Fri, 21 Jul 2023 16:41:53 +0800 Subject: [PATCH] Doc: update JSON schema --- doc/json_schema.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/json_schema.json b/doc/json_schema.json index 6139dd549..f9521c4cb 100644 --- a/doc/json_schema.json +++ b/doc/json_schema.json @@ -1010,7 +1010,8 @@ "title": "Set color of the host name (right part)", "$ref": "#/$defs/colors" } - } + }, + "additionalProperties": false }, "key": { "$ref": "#/$defs/key" @@ -1057,8 +1058,7 @@ }, "additionalProperties": false } - ], - "additionalProperties": false + ] } ] }