From c0595206dd53eb964581ec36460e8e868dad13f6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= Date: Mon, 20 Jan 2020 12:38:08 +0100 Subject: [PATCH] makerst: Use code markup for default values/overrides Fixes godotengine/godot-docs#3071. --- doc/tools/makerst.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py index 4b07bf00eee..18fc70516ed 100755 --- a/doc/tools/makerst.py +++ b/doc/tools/makerst.py @@ -149,7 +149,7 @@ class State: getter = property.get("getter") or None default_value = property.get("default") or None if default_value is not None: - default_value = escape_rst(default_value) + default_value = '``{}``'.format(default_value) overridden = property.get("override") or False property_def = PropertyDef(property_name, type_name, setter, getter, property.text, default_value, overridden)