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.h | |
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.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; |