diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2024-03-26 13:45:28 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-03-26 13:45:28 +0100 |
commit | f371913a321e1281eb937e3a0973c2e96d727073 (patch) | |
tree | 6ecf0cdce9f5e1e4f2adc5aeb37455ee3563ab09 /core/config/engine.cpp | |
parent | 23f55c06fbb7bbfa1a41d06c52c1ef0c717bee46 (diff) | |
parent | 93559db3a2cfd1ae15d53900b782022e8c23642b (diff) | |
download | redot-engine-f371913a321e1281eb937e3a0973c2e96d727073.tar.gz |
Merge pull request #89679 from enetheru/patch-3
Properly skip printing version header with `--no-header`
Diffstat (limited to 'core/config/engine.cpp')
-rw-r--r-- | core/config/engine.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/core/config/engine.cpp b/core/config/engine.cpp index d714ec42c2..9f4bff3779 100644 --- a/core/config/engine.cpp +++ b/core/config/engine.cpp @@ -266,6 +266,12 @@ void Engine::print_header(const String &p_string) const { } } +void Engine::print_header_rich(const String &p_string) const { + if (_print_header) { + print_line_rich(p_string); + } +} + void Engine::add_singleton(const Singleton &p_singleton) { ERR_FAIL_COND_MSG(singleton_ptrs.has(p_singleton.name), vformat("Can't register singleton '%s' because it already exists.", p_singleton.name)); singletons.push_back(p_singleton); |