diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-20 12:38:08 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-20 12:38:08 +0100 |
commit | c0595206dd53eb964581ec36460e8e868dad13f6 (patch) | |
tree | 827092c160dc688643212f34b54d12f8549cb466 /doc/tools | |
parent | 11260fb87f393e56692e6ba063609b5993d8d5f6 (diff) |
makerst: Use code markup for default values/overrides
Fixes godotengine/godot-docs#3071.
Diffstat (limited to 'doc/tools')
-rwxr-xr-x | doc/tools/makerst.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py index 4b07bf00ee..18fc70516e 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) |