From b32e88517211f1ae6b88f3884472793aeba6d612 Mon Sep 17 00:00:00 2001
From: GitHub Actions
Date: Mon, 26 May 2025 22:21:57 +0000
Subject: [PATCH] Deploy PR #828 preview
---
docs-preview-828/options.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs-preview-828/options.html b/docs-preview-828/options.html
index 6fab4443..161ae32a 100644
--- a/docs-preview-828/options.html
+++ b/docs-preview-828/options.html
@@ -2686,7 +2686,7 @@ one of “default”, “none”, “super-tab”, “enter”
null or (list of string)
Default:
-[ ]
+null
Declared by: