From d4f48b4b782887939e304fa424416278dd59ef73 Mon Sep 17 00:00:00 2001 From: Robin Genz Date: Tue, 18 Apr 2023 20:10:43 +0200 Subject: [PATCH] docs(pymdownx): add `url_download` option --- docs/schema/extensions/pymdownx.json | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/docs/schema/extensions/pymdownx.json b/docs/schema/extensions/pymdownx.json index a7f4722f0..e5bf5dfe7 100644 --- a/docs/schema/extensions/pymdownx.json +++ b/docs/schema/extensions/pymdownx.json @@ -531,6 +531,11 @@ "markdownDescription": "https://facelessuser.github.io/pymdown-extensions/extensions/snippets/#options", "type": "boolean", "default": true + }, + "url_download": { + "markdownDescription": "https://facelessuser.github.io/pymdown-extensions/extensions/snippets/#options", + "type": "boolean", + "default": false } }, "additionalProperties": false