diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-20 12:57:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-20 12:57:09 +0100 |
| commit | 601500168d3079adaa5899e4f3b15c0059a769de (patch) | |
| tree | 827092c160dc688643212f34b54d12f8549cb466 | |
| parent | 11260fb87f393e56692e6ba063609b5993d8d5f6 (diff) | |
| parent | c0595206dd53eb964581ec36460e8e868dad13f6 (diff) | |
Merge pull request #35357 from akien-mga/makerst-default-values-code
makerst: Use code markup for default values/overrides
| -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) |