diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-08-10 19:20:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-10 19:20:59 +0200 |
| commit | d6c9dc044217e1b184ea620f6354933e189db90b (patch) | |
| tree | 865ea57486742475215cebd9bbed3ee5ffb96402 /core/project_settings.h | |
| parent | f2149fe763a5678237b417fb9fefec5a5c74ae9d (diff) | |
| parent | 55637226282982cf387c106db57e91b4e65a8821 (diff) | |
Merge pull request #40445 from hinlopen/project-settings-editor
Rewrite ProjectSettings editor header
Diffstat (limited to 'core/project_settings.h')
| -rw-r--r-- | core/project_settings.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/project_settings.h b/core/project_settings.h index 659ee402b3..686f6f3873 100644 --- a/core/project_settings.h +++ b/core/project_settings.h @@ -142,6 +142,7 @@ public: int get_order(const String &p_name) const; void set_order(const String &p_name, int p_order); void set_builtin_order(const String &p_name); + bool is_builtin_setting(const String &p_name) const; Error setup(const String &p_path, const String &p_main_pack, bool p_upwards = false); |