diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-12-14 08:58:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-14 08:58:29 +0100 |
| commit | 29a527fb9057afd534ea0d6ef6c4b36cc4b3deef (patch) | |
| tree | 9f451f4b584c93b9f36eb6abda6aafb5b85fc7e0 /doc | |
| parent | 4148eed9437d8d01afc3cfa69279f2c3d9dc48c6 (diff) | |
| parent | 8dad3811c52a23ce53b8e165dc065f38ab5c4ccc (diff) | |
Merge pull request #23799 from marcelofg55/custom_ps
Add application/config/project_settings_override option to override project settings
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/classes/ProjectSettings.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/classes/ProjectSettings.xml b/doc/classes/ProjectSettings.xml index bf9eaa04a7..92d5415ed6 100644 --- a/doc/classes/ProjectSettings.xml +++ b/doc/classes/ProjectSettings.xml @@ -184,6 +184,9 @@ <member name="application/config/use_custom_user_dir" type="bool" setter="" getter=""> Allow the project to save to its own custom user dir (in AppData on windows or ~/.config on unixes). This setting only works for desktop exporters. A name must be set in the "custom_user_dir_name" setting for this to take effect. </member> + <member name="application/config/project_settings_override" type="String" setter="" getter=""> + Specifies a file to override project settings. For example: user://custom_settings.cfg. + </member> <member name="application/run/disable_stderr" type="bool" setter="" getter=""> Disable printing to stderr on exported build. </member> |