Updated JSON schema

This commit is contained in:
squidfunk 2023-10-02 23:14:08 +02:00
parent c928e03fa8
commit 4e72aa08cd
No known key found for this signature in database
GPG Key ID: 5ED40BC4F9C436DF

View File

@ -685,6 +685,20 @@
"navigation.instant"
]
},
{
"title": "Instant prefetching",
"markdownDescription": "https://squidfunk.github.io/mkdocs-material/setup/setting-up-navigation/#instant-prefetching",
"enum": [
"navigation.instant.prefetch"
]
},
{
"title": "Progress indicator",
"markdownDescription": "https://squidfunk.github.io/mkdocs-material/setup/setting-up-navigation/#progress-indicator",
"enum": [
"navigation.instant.progress"
]
},
{
"title": "Navigation path (Breadcrumbs)",
"markdownDescription": "https://squidfunk.github.io/mkdocs-material/setup/setting-up-navigation/#navigation-path",