gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-09-19 15:08:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

makerst: Use code markup for default values/overrides

Browse source 
Fixes godotengine/godot-docs#3071.
This commit is contained in:
Rémi Verschelde 2020-01-20 12:38:08 +01:00
parent 11260fb87f
commit c0595206dd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/tools/makerst.py
View file

@ -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)