diff options
| author | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2019-09-03 13:42:34 +0300 |
|---|---|---|
| committer | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2019-09-04 15:21:40 +0300 |
| commit | 6c4407bae499ad9dc94287a123febc61878dd92e (patch) | |
| tree | 3200c97ce7d00c740792bfcf25750de924e4b20c /editor/doc/doc_data.h | |
| parent | 037237f5183c4b8752f8a08d610bb9395ad294ea (diff) | |
Add overriden properties to the documentation
Fixes #31855
Diffstat (limited to 'editor/doc/doc_data.h')
| -rw-r--r-- | editor/doc/doc_data.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/doc/doc_data.h b/editor/doc/doc_data.h index 3d5867dcca..6d601f0dce 100644 --- a/editor/doc/doc_data.h +++ b/editor/doc/doc_data.h @@ -74,6 +74,7 @@ public: String description; String setter, getter; String default_value; + bool overridden; bool operator<(const PropertyDoc &p_prop) const { return name < p_prop.name; } |