From cb9f6615d2faf94af90709e362f87410c44373a2 Mon Sep 17 00:00:00 2001 From: squidfunk Date: Sun, 30 Jan 2022 15:52:28 +0100 Subject: [PATCH] Improved JSON schema --- docs/schema/extensions.json | 19 ++++++++++++------- 1 file changed, 12 insertions(+), 7 deletions(-) diff --git a/docs/schema/extensions.json b/docs/schema/extensions.json index efb6a92ec..8bd2f5e3a 100644 --- a/docs/schema/extensions.json +++ b/docs/schema/extensions.json @@ -515,13 +515,6 @@ }, { "oneOf": [ - { - "title": "Snippets – Python Markdown Extensions", - "markdownDescription": "https://squidfunk.github.io/mkdocs-material/setup/extensions/python-markdown-extensions/#snippets", - "enum": [ - "pymdownx.snippets" - ] - }, { "type": "object", "properties": { @@ -543,12 +536,24 @@ }, "uniqueItems": true, "minItems": 1 + }, + "check_paths": { + "markdownDescription": "https://facelessuser.github.io/pymdown-extensions/extensions/snippets/#options", + "type": "boolean", + "default": true } }, "additionalProperties": false } }, "additionalProperties": false + }, + { + "title": "Snippets – Python Markdown Extensions", + "markdownDescription": "https://squidfunk.github.io/mkdocs-material/setup/extensions/python-markdown-extensions/#snippets", + "enum": [ + "pymdownx.snippets" + ] } ] },