summaryrefslogtreecommitdiff
path: root/doc/tools
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2020-01-20 12:38:08 +0100
committerRémi Verschelde <rverschelde@gmail.com>2020-01-20 12:38:08 +0100
commitc0595206dd53eb964581ec36460e8e868dad13f6 (patch)
tree827092c160dc688643212f34b54d12f8549cb466 /doc/tools
parent11260fb87f393e56692e6ba063609b5993d8d5f6 (diff)
makerst: Use code markup for default values/overrides
Fixes godotengine/godot-docs#3071.
Diffstat (limited to 'doc/tools')
-rwxr-xr-xdoc/tools/makerst.py2
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)