diff options
author | Samuel Nicholas <nicholas.samuel@gmail.com> | 2024-03-20 00:11:09 +1030 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-03-26 11:41:13 +0100 |
commit | 93559db3a2cfd1ae15d53900b782022e8c23642b (patch) | |
tree | e61cd290a18ee7d92db09c0b0f23c95f2e84d3c6 /core | |
parent | 7c6e85de0dd7627d1a43acf5f144cee34df6ab36 (diff) | |
download | redot-engine-93559db3a2cfd1ae15d53900b782022e8c23642b.tar.gz |
Properly skip printing version header with `--no-header`
Co-authored-by: A Thousand Ships <96648715+AThousandShips@users.noreply.github.com>
Diffstat (limited to 'core')
-rw-r--r-- | core/config/engine.cpp | 6 | ||||
-rw-r--r-- | core/config/engine.h | 1 |
2 files changed, 7 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); diff --git a/core/config/engine.h b/core/config/engine.h index be7cd62f66..d1495b36c2 100644 --- a/core/config/engine.h +++ b/core/config/engine.h @@ -126,6 +126,7 @@ public: void set_print_error_messages(bool p_enabled); bool is_printing_error_messages() const; void print_header(const String &p_string) const; + void print_header_rich(const String &p_string) const; void set_frame_delay(uint32_t p_msec); uint32_t get_frame_delay() const; |