diff options
author | bunnei <bunneidev@gmail.com> | 2020-04-27 00:18:46 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-27 00:18:46 -0400 |
commit | 6c7d8073be9ab0ce92d346742989800895beeffe (patch) | |
tree | 298da9383d7f883102643f0ab146dda72d9f5358 /src/core/settings.h | |
parent | 378aed07e988f5a3c0f66b38edc22732d8b91eb6 (diff) | |
parent | 5c9feaebb6bfa34bb275ffa59ca823003de20422 (diff) |
Merge pull request #3742 from FernandoS27/command-list
Optimize GPU Command Lists and Introduce Fast GPU Time Option
Diffstat (limited to 'src/core/settings.h')
-rw-r--r-- | src/core/settings.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/core/settings.h b/src/core/settings.h index 7d09253f5..163900f0b 100644 --- a/src/core/settings.h +++ b/src/core/settings.h @@ -446,6 +446,7 @@ struct Values { bool use_asynchronous_gpu_emulation; bool use_vsync; bool force_30fps_mode; + bool use_fast_gpu_time; float bg_red; float bg_green; |