scripts/generate-options: prefer defaultText over default

2025-11-10 23:53:27 +01:00
parent eeda8ba39e
commit 61cff94a28
1 changed files with 3 additions and 1 deletions
--- a/scripts/generate-options.py
+++ b/scripts/generate-options.py
@@ -91,7 +91,9 @@ def print_option(option):
            key=option["name"],
            description=description or "",
            type=f"- type: {md_literal(option['type'])}",
-            default=render_option_value(option, "default"),
+            default=render_option_value(option, "defaultText")
+            if "defaultText" in option
+            else render_option_value(option, "default"),
            example=render_option_value(option, "example"),
        )
    )