You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-21 14:57:09 +00:00
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.
This commit is contained in:
@@ -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">
|
||||
|
||||
Reference in New Issue
Block a user