From 4e72aa08cd5148524f26a7690fda1de732d890bc Mon Sep 17 00:00:00 2001
From: squidfunk <martin.donath@squidfunk.com>
Date: Mon, 2 Oct 2023 23:14:08 +0200
Subject: [PATCH] Updated JSON schema

---
 docs/schema/theme.json | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/docs/schema/theme.json b/docs/schema/theme.json
index 1f903153b..69abeff64 100644
--- a/docs/schema/theme.json
+++ b/docs/schema/theme.json
@@ -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",