You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-11 13:10:58 +00:00
Move Mono unhandled exception setting to be located within a subsection
Settings that aren't within a subsection are difficult to reach when other settings do have a subsection. This also adds documentation for the project setting.
This commit is contained in:
@@ -1613,6 +1613,19 @@ bool Main::start() {
|
||||
DirAccessRef da = DirAccess::open(doc_tool_path);
|
||||
ERR_FAIL_COND_V_MSG(!da, false, "Argument supplied to --doctool must be a valid directory path.");
|
||||
}
|
||||
|
||||
#ifndef MODULE_MONO_ENABLED
|
||||
// Hack to define Mono-specific project settings even on non-Mono builds,
|
||||
// so that we don't lose their descriptions and default values in DocData.
|
||||
// Default values should be synced with mono_gd/gd_mono.cpp.
|
||||
GLOBAL_DEF("mono/debugger_agent/port", 23685);
|
||||
GLOBAL_DEF("mono/debugger_agent/wait_for_debugger", false);
|
||||
GLOBAL_DEF("mono/debugger_agent/wait_timeout", 3000);
|
||||
GLOBAL_DEF("mono/profiler/args", "log:calls,alloc,sample,output=output.mlpd");
|
||||
GLOBAL_DEF("mono/profiler/enabled", false);
|
||||
GLOBAL_DEF("mono/runtime/unhandled_exception_policy", 0);
|
||||
#endif
|
||||
|
||||
DocData doc;
|
||||
doc.generate(doc_base);
|
||||
|
||||
|
||||
Reference in New Issue
Block a user