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/config/engine.h | |
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/config/engine.h')
-rw-r--r-- | core/config/engine.h | 1 |
1 files changed, 1 insertions, 0 deletions
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; |