summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2020-06-18 12:05:44 +0200
committerRémi Verschelde <rverschelde@gmail.com>2020-06-18 12:06:24 +0200
commit2b6bbf8dceb7e31039d23aab05cde447225e1f7c (patch)
treefa5c126467689e9c95f11698ac4dc0775c8bd9a6 /doc
parent4e0f31a67cb757f95a658a02ac28afcdda40b299 (diff)
Mono: Always define options in main.cpp to keep them in docs
Otherwise generating docs with non-Mono builds removes them, which is not so convenient for the documentation work.
Diffstat (limited to 'doc')
-rw-r--r--doc/classes/ProjectSettings.xml2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/classes/ProjectSettings.xml b/doc/classes/ProjectSettings.xml
index 92e5b4a84f..7191492098 100644
--- a/doc/classes/ProjectSettings.xml
+++ b/doc/classes/ProjectSettings.xml
@@ -821,6 +821,8 @@
</member>
<member name="mono/profiler/enabled" type="bool" setter="" getter="" default="false">
</member>
+ <member name="mono/project/auto_update_project" type="bool" setter="" getter="" default="true">
+ </member>
<member name="mono/unhandled_exception_policy" type="int" setter="" getter="" default="0">
</member>
<member name="network/limits/debugger/max_chars_per_second" type="int" setter="" getter="" default="32768">