diff options
author | DS <vorunbekannt75@web.de> | 2022-09-27 22:23:07 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-27 16:23:07 -0400 |
commit | 0251b01da66a67ed84f8d27c33aa35f34aaca237 (patch) | |
tree | 748236a4e2b8363c044f586f082c987c1d95374c /src/client/clientenvironment.cpp | |
parent | 6ac38aa2c82d83971226c8a07236aeb79479522d (diff) | |
download | minetest-0251b01da66a67ed84f8d27c33aa35f34aaca237.tar.xz |
Pause shader animation timer in singleplayer pause menu (#12766)
Co-authored-by: sfan5 <sfan5@live.de>
Diffstat (limited to 'src/client/clientenvironment.cpp')
-rw-r--r-- | src/client/clientenvironment.cpp | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/client/clientenvironment.cpp b/src/client/clientenvironment.cpp index f5e8b3601..0b6f1a325 100644 --- a/src/client/clientenvironment.cpp +++ b/src/client/clientenvironment.cpp @@ -519,7 +519,12 @@ void ClientEnvironment::getSelectedActiveObjects( } } -void ClientEnvironment::updateFrameTime() +void ClientEnvironment::updateFrameTime(bool is_paused) { - m_frame_time = porting::getTimeMs(); + // if paused, m_frame_time_pause_accumulator increases by dtime, + // otherwise, m_frame_time increases by dtime + if (is_paused) + m_frame_time_pause_accumulator = porting::getTimeMs() - m_frame_time; + else + m_frame_time = porting::getTimeMs() - m_frame_time_pause_accumulator; } |