Doc: update JSON schema

2026-09-13 02:42:09 +02:00 · 2023-07-21 16:41:53 +08:00
parent 1feb3915a0
commit 9af5c36e16
1 changed files with 3 additions and 3 deletions
@@ -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
+                        ]
                    }
                ]
            }